Morphism.hs revision 0859769b65851f4c06d6d32fac084b0f4db56c94
fa9e4066f08beec538e775443c5be79dd423fcabahrenstree 0859769b65851f4c06d6d32fac084b0f4db56c94:
fa9e4066f08beec538e775443c5be79dd423fcabahrensComorphisms/
fa9e4066f08beec538e775443c5be79dd423fcabahrensConstraintCASL/
fa9e4066f08beec538e775443c5be79dd423fcabahrensPropositional/
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwReleaseMakefile
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwsyb-generics/