Update and rename aequivalenzrelation.pl to equivalence_realtion.pl