Morphism.hs revision aa4d26536fffe0153cd81d28925985892ac2f300
8f1316a0c677f211eaaa1346e21a03446b8c4fb1Lukas Slebodniktree aa4d26536fffe0153cd81d28925985892ac2f300:
8f1316a0c677f211eaaa1346e21a03446b8c4fb1Lukas SlebodnikConstraintCASL/
8f1316a0c677f211eaaa1346e21a03446b8c4fb1Lukas SlebodnikCspCASLProver/