IRI.hs revision da5ff3703cc54721f3536212455d6348550057a0
791057e5ead8cce851bbb30b06d552aef7e2c897gryzortree da5ff3703cc54721f3536212455d6348550057a0:
791057e5ead8cce851bbb30b06d552aef7e2c897gryzorCommonLogic/
791057e5ead8cce851bbb30b06d552aef7e2c897gryzorComorphisms/
791057e5ead8cce851bbb30b06d552aef7e2c897gryzorConstraintCASL/
791057e5ead8cce851bbb30b06d552aef7e2c897gryzorCspCASLProver/
791057e5ead8cce851bbb30b06d552aef7e2c897gryzorModifications/
791057e5ead8cce851bbb30b06d552aef7e2c897gryzorPropositional/
791057e5ead8cce851bbb30b06d552aef7e2c897gryzorRelationalScheme/
791057e5ead8cce851bbb30b06d552aef7e2c897gryzorReleaseMakefile
791057e5ead8cce851bbb30b06d552aef7e2c897gryzorprogramatica
791057e5ead8cce851bbb30b06d552aef7e2c897gryzorsample-ghci-script