Morphism.hs revision 32bbac77828be0233953f8fe476edb0a9585408d
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndtree 32bbac77828be0233953f8fe476edb0a9585408d:
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecnd
fd9abdda70912b99b24e3bf1a38f26fde908a74cnd.gitignore
fd9abdda70912b99b24e3bf1a38f26fde908a74cndATC.hs
fd9abdda70912b99b24e3bf1a38f26fde908a74cndATC/
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndAdl/
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndCASL.hs
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndCASL/
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndCASL_DL.hs
96ad5d81ee4a2cc66a4ae19893efc8aa6d06fae7jailletcCASL_DL/
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndCMDL.hs
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndCMDL/
d29d9ab4614ff992b0e8de6e2b88d52b6f1f153erbowenCOL.hs
2e545ce2450a9953665f701bb05350f0d3f26275ndCOL/
d29d9ab4614ff992b0e8de6e2b88d52b6f1f153erbowenCSL/
d29d9ab4614ff992b0e8de6e2b88d52b6f1f153erbowenCSMOF/
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndCoCASL.hs
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndCoCASL/
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndCommon.hs
af33a4994ae2ff15bc67d19ff1a7feb906745bf8rbowenCommon/
3f08db06526d6901aa08c110b5bc7dde6bc39905ndCommonLogic/
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndComorphisms.hs
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndComorphisms/
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndConstraintCASL/
3f08db06526d6901aa08c110b5bc7dde6bc39905ndCspCASL.hs
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndCspCASL/
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndCspCASLProver.hs
3b3b7fc78d1f5bfc2769903375050048ff41ff26ndCspCASLProver/
ad74a0524a06bfe11b7de9e3b4ce7233ab3bd3f7ndDFOL/
ad74a0524a06bfe11b7de9e3b4ce7233ab3bd3f7ndDMU/
e1e8390280254f7f0580d701e583f670643d4f3fnilgunDriver.hs
f086b4b402fa9a2fefc7dda85de2a3cc1cd0a654rjungDriver/
3b3b7fc78d1f5bfc2769903375050048ff41ff26ndExtModal.hs
4b575a6b6704b516f22d65a3ad35696d7b9ba372rpluemExtModal/
4b575a6b6704b516f22d65a3ad35696d7b9ba372rpluemFpl/
4b575a6b6704b516f22d65a3ad35696d7b9ba372rpluemFramework.hs
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndFramework/
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndFreeCAD/
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndGMP/
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndGUI.hs
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndGUI/
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndHasCASL.hs
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndHasCASL/
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndHaskell.hs
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndHaskell/
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndHets-Haddock-Prologue.txt
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndHets.cabal
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndHolLight/
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndHybrid.hs
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndHybrid/
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndINSTALL
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndInterfaces/
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndIsabelle.hs
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndIsabelle/
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndLF/
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndLICENSE.txt
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndLIZENZ.txt
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndLogic.hs
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndLogic/
1f1b6bf13313fdd14a45e52e553d3ff28689b717coarMMT.hs
1f1b6bf13313fdd14a45e52e553d3ff28689b717coarMMT/
1f1b6bf13313fdd14a45e52e553d3ff28689b717coarMakefile
1f1b6bf13313fdd14a45e52e553d3ff28689b717coarMakefile.installer
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndMaude/
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndModal.hs
d9eaa83c63eb571d519610f7e9a1d73360ba4d32ndModal/
b9f522ae1c0ed2bf3fc4444245bf28b2e2449a65ndModifications/
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndOMDoc.hs
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndOMDoc/
b9f522ae1c0ed2bf3fc4444245bf28b2e2449a65ndOWL2.hs
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndOWL2/
c38e2a97e43fc69b22f6b03c6d2f60e3bd705f89sfOmega/
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndPGIP/
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndPLpatt/
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndProofs.hs
44eb0fcf4ae95f4f77e97350fccf0e3a9d0b098bndProofs/
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndPropositional.hs
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndPropositional/
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndQBF/
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndQVTR/
b9f522ae1c0ed2bf3fc4444245bf28b2e2449a65ndRDF/
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndREADME
1f1b6bf13313fdd14a45e52e553d3ff28689b717coarREADME.installer
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndRelationalScheme.hs
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndRelationalScheme/
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndReleaseMakefile
30471a4650391f57975f60bbb6e4a90be7b284bfhumbedoohScratch.hs
62664c6703ed9e8d8f4f8e4c5f5e893559ecefecndSoftFOL.hs
1f1b6bf13313fdd14a45e52e553d3ff28689b717coarSoftFOL/
1f1b6bf13313fdd14a45e52e553d3ff28689b717coarStatic.hs
1f1b6bf13313fdd14a45e52e553d3ff28689b717coarStatic/
1f1b6bf13313fdd14a45e52e553d3ff28689b717coarSyntax.hs
1f1b6bf13313fdd14a45e52e553d3ff28689b717coarSyntax/
1f1b6bf13313fdd14a45e52e553d3ff28689b717coarTHF/
1f1b6bf13313fdd14a45e52e553d3ff28689b717coarTaxonomy.hs
1f1b6bf13313fdd14a45e52e553d3ff28689b717coarTaxonomy/
1f1b6bf13313fdd14a45e52e553d3ff28689b717coarTemporal/
1f1b6bf13313fdd14a45e52e553d3ff28689b717coarToHaskell/
1f1b6bf13313fdd14a45e52e553d3ff28689b717coarTopHybrid.hs
1f1b6bf13313fdd14a45e52e553d3ff28689b717coarTopHybrid/
1f1b6bf13313fdd14a45e52e553d3ff28689b717coarVSE/
1f1b6bf13313fdd14a45e52e553d3ff28689b717coaratermlib/
1f1b6bf13313fdd14a45e52e553d3ff28689b717coarbuild.xml
1f1b6bf13313fdd14a45e52e553d3ff28689b717coarclean.lst
1f1b6bf13313fdd14a45e52e553d3ff28689b717coarclean.sh
1f1b6bf13313fdd14a45e52e553d3ff28689b717coardoc/
1f1b6bf13313fdd14a45e52e553d3ff28689b717coarhets.hs
1f1b6bf13313fdd14a45e52e553d3ff28689b717coarhets.in
1f1b6bf13313fdd14a45e52e553d3ff28689b717coarideas
1f1b6bf13313fdd14a45e52e553d3ff28689b717coarmini/
1f1b6bf13313fdd14a45e52e553d3ff28689b717coarpretty/
1f1b6bf13313fdd14a45e52e553d3ff28689b717coarprogramatica
1f1b6bf13313fdd14a45e52e553d3ff28689b717coarsample-ghci-script
1f1b6bf13313fdd14a45e52e553d3ff28689b717coartest/
1f1b6bf13313fdd14a45e52e553d3ff28689b717coartodo
1f1b6bf13313fdd14a45e52e553d3ff28689b717coarutils/
1f1b6bf13313fdd14a45e52e553d3ff28689b717coarvar.mk
1f1b6bf13313fdd14a45e52e553d3ff28689b717coarversion_nr
1f1b6bf13313fdd14a45e52e553d3ff28689b717coar