Morphism.hs revision 2a5b885d9350ec6dd8bc4992ee91d2f68aa592f4
9d453f1e8b28983b363b44c49b7cd701a994fd97Nikolai Kondrashovtree 2a5b885d9350ec6dd8bc4992ee91d2f68aa592f4:
9d453f1e8b28983b363b44c49b7cd701a994fd97Nikolai KondrashovConstraintCASL/
60713f738cedb6e4239604baf6619a0ca986fa49Michal ŽidekCspCASLProver/