Now tests if covering morphisms map first elements onto each other.
Now tests if covering morphisms map first elements onto each other.


BackupTheBerlios/gavrog,BackupTheBerlios/gavrog,BackupTheBerlios/gavrog,BackupTheBerlios/gavrog,BackupTheBerlios/gavrog