Morphism.hs revision da955132262baab309a50fdffe228c9efe68251d
e0aad1e08730743b3a27aa070e2861bd1c153afedptree da955132262baab309a50fdffe228c9efe68251d:
e0aad1e08730743b3a27aa070e2861bd1c153afedp
e0aad1e08730743b3a27aa070e2861bd1c153afedpATC.hs
e0aad1e08730743b3a27aa070e2861bd1c153afedpATC/
e0aad1e08730743b3a27aa070e2861bd1c153afedpCASL.hs
e0aad1e08730743b3a27aa070e2861bd1c153afedpCASL/
e0aad1e08730743b3a27aa070e2861bd1c153afedpCASL_DL.hs
e0aad1e08730743b3a27aa070e2861bd1c153afedpCASL_DL/
e0aad1e08730743b3a27aa070e2861bd1c153afedpCOL.hs
e0aad1e08730743b3a27aa070e2861bd1c153afedpCOL/
e0aad1e08730743b3a27aa070e2861bd1c153afedpCoCASL.hs
e0aad1e08730743b3a27aa070e2861bd1c153afedpCoCASL/
e0aad1e08730743b3a27aa070e2861bd1c153afedpCommon.hs
e0aad1e08730743b3a27aa070e2861bd1c153afedpCommon/
e0aad1e08730743b3a27aa070e2861bd1c153afedpComorphisms.hs
e0aad1e08730743b3a27aa070e2861bd1c153afedpComorphisms/
e0aad1e08730743b3a27aa070e2861bd1c153afedpConstraintCASL/
e0aad1e08730743b3a27aa070e2861bd1c153afedpCspCASL.hs
e0aad1e08730743b3a27aa070e2861bd1c153afedpCspCASL/
e0aad1e08730743b3a27aa070e2861bd1c153afedpDriver.hs
e0aad1e08730743b3a27aa070e2861bd1c153afedpDriver/
e0aad1e08730743b3a27aa070e2861bd1c153afedpGMP/
e0aad1e08730743b3a27aa070e2861bd1c153afedpGUI.hs
e0aad1e08730743b3a27aa070e2861bd1c153afedpGUI/
f497f9fe231e0e400f339c84a7d80c4aae2ac4d5Joshua M. ClulowHasCASL.hs
e0aad1e08730743b3a27aa070e2861bd1c153afedpHasCASL/
e0aad1e08730743b3a27aa070e2861bd1c153afedpHaskell.hs
e0aad1e08730743b3a27aa070e2861bd1c153afedpHaskell/
e0aad1e08730743b3a27aa070e2861bd1c153afedpHets-Haddock-Prologue.txt
e0aad1e08730743b3a27aa070e2861bd1c153afedpHets.cabal
e0aad1e08730743b3a27aa070e2861bd1c153afedpINSTALL
e0aad1e08730743b3a27aa070e2861bd1c153afedpIsabelle.hs
e0aad1e08730743b3a27aa070e2861bd1c153afedpIsabelle/
f497f9fe231e0e400f339c84a7d80c4aae2ac4d5Joshua M. ClulowLICENCE.txt
e0aad1e08730743b3a27aa070e2861bd1c153afedpLICENSE.txt
e0aad1e08730743b3a27aa070e2861bd1c153afedpLIZENZ.txt
e0aad1e08730743b3a27aa070e2861bd1c153afedpLogic.hs
e0aad1e08730743b3a27aa070e2861bd1c153afedpLogic/
e0aad1e08730743b3a27aa070e2861bd1c153afedpLottery/
e0aad1e08730743b3a27aa070e2861bd1c153afedpMakefile
e0aad1e08730743b3a27aa070e2861bd1c153afedpMakefile.installer
e0aad1e08730743b3a27aa070e2861bd1c153afedpModal.hs
e0aad1e08730743b3a27aa070e2861bd1c153afedpModal/
e0aad1e08730743b3a27aa070e2861bd1c153afedpModifications/
e0aad1e08730743b3a27aa070e2861bd1c153afedpOMDoc/
e0aad1e08730743b3a27aa070e2861bd1c153afedpOWL_DL.hs
e0aad1e08730743b3a27aa070e2861bd1c153afedpOWL_DL/
e0aad1e08730743b3a27aa070e2861bd1c153afedpPGIP.hs
e0aad1e08730743b3a27aa070e2861bd1c153afedpPGIP/
e0aad1e08730743b3a27aa070e2861bd1c153afedpProofs.hs
e0aad1e08730743b3a27aa070e2861bd1c153afedpProofs/
e0aad1e08730743b3a27aa070e2861bd1c153afedpPropositional.hs
e0aad1e08730743b3a27aa070e2861bd1c153afedpPropositional/
e0aad1e08730743b3a27aa070e2861bd1c153afedpREADME
e0aad1e08730743b3a27aa070e2861bd1c153afedpREADME.installer
e0aad1e08730743b3a27aa070e2861bd1c153afedpReleaseMakefile
e0aad1e08730743b3a27aa070e2861bd1c153afedpSoftFOL.hs
f497f9fe231e0e400f339c84a7d80c4aae2ac4d5Joshua M. ClulowSoftFOL/
f497f9fe231e0e400f339c84a7d80c4aae2ac4d5Joshua M. ClulowStatic.hs
e0aad1e08730743b3a27aa070e2861bd1c153afedpStatic/
e0aad1e08730743b3a27aa070e2861bd1c153afedpSyntax/
e0aad1e08730743b3a27aa070e2861bd1c153afedpTaxonomy.hs
e0aad1e08730743b3a27aa070e2861bd1c153afedpTaxonomy/
e0aad1e08730743b3a27aa070e2861bd1c153afedpTest.hs
e0aad1e08730743b3a27aa070e2861bd1c153afedpToHaskell/
e0aad1e08730743b3a27aa070e2861bd1c153afedpclean.lst
e0aad1e08730743b3a27aa070e2861bd1c153afedpclean.sh
f497f9fe231e0e400f339c84a7d80c4aae2ac4d5Joshua M. Clulowdoc/
f497f9fe231e0e400f339c84a7d80c4aae2ac4d5Joshua M. Clulowhaifa-lite/
f497f9fe231e0e400f339c84a7d80c4aae2ac4d5Joshua M. Clulowhets.hs
e0aad1e08730743b3a27aa070e2861bd1c153afedphets.in
e0aad1e08730743b3a27aa070e2861bd1c153afedpideas
e0aad1e08730743b3a27aa070e2861bd1c153afedpmini/
e0aad1e08730743b3a27aa070e2861bd1c153afedppretty/
e0aad1e08730743b3a27aa070e2861bd1c153afedpsample-ghci-script
e0aad1e08730743b3a27aa070e2861bd1c153afedpsyb-generics/
e0aad1e08730743b3a27aa070e2861bd1c153afedptest/
e0aad1e08730743b3a27aa070e2861bd1c153afedptodo
e0aad1e08730743b3a27aa070e2861bd1c153afedputils/
e0aad1e08730743b3a27aa070e2861bd1c153afedpversion_nr
e0aad1e08730743b3a27aa070e2861bd1c153afedp