Morphism.hs revision f21c7417bdd1c0282025cba0f5cb0ff5bc5c98ee
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzortree f21c7417bdd1c0282025cba0f5cb0ff5bc5c98ee:
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorCommonLogic/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorComorphisms/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorConstraintCASL/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorCspCASLProver/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorModifications/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorPropositional/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorRelationalScheme/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorReleaseMakefile