Morphism.hs revision ceef5f7843a1f96fe5a62e0f6880e38b3d5f4708
076b559b2ea7b2f1d303df992ae71cd6c6fe563cChristian Maedertree ceef5f7843a1f96fe5a62e0f6880e38b3d5f4708:
076b559b2ea7b2f1d303df992ae71cd6c6fe563cChristian Maeder
81d182b21020b815887e9057959228546cf61b6bChristian MaederATC.hs
076b559b2ea7b2f1d303df992ae71cd6c6fe563cChristian MaederATC/
97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian MaederCASL.hs
076b559b2ea7b2f1d303df992ae71cd6c6fe563cChristian MaederCASL/
3f69b6948966979163bdfe8331c38833d5d90ecdChristian MaederCASL_DL.hs
076b559b2ea7b2f1d303df992ae71cd6c6fe563cChristian MaederCASL_DL/
076b559b2ea7b2f1d303df992ae71cd6c6fe563cChristian MaederCMDL.hs
f3a94a197960e548ecd6520bb768cb0d547457bbChristian MaederCMDL/
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian MaederCOL.hs
568a1ce407fd05a2007c5db3c5c57098bf13997fChristian MaederCOL/
568a1ce407fd05a2007c5db3c5c57098bf13997fChristian MaederCoCASL.hs
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian MaederCoCASL/
568a1ce407fd05a2007c5db3c5c57098bf13997fChristian MaederCommon.hs
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian MaederCommon/
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian MaederCommonLogic/
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian MaederComorphisms.hs
076b559b2ea7b2f1d303df992ae71cd6c6fe563cChristian MaederComorphisms/
35db0960aa2e2a13652381c756fae5fb2b27213bChristian MaederConstraintCASL/
568a1ce407fd05a2007c5db3c5c57098bf13997fChristian MaederConstraints/
ac510075311023bf24175f7a76b89ec2bbda0626Christian MaederCspCASL.hs
ac510075311023bf24175f7a76b89ec2bbda0626Christian MaederCspCASL/
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian MaederCspCASLProver.hs
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian MaederCspCASLProver/
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian MaederDFOL/
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian MaederDMU/
568a1ce407fd05a2007c5db3c5c57098bf13997fChristian MaederDriver.hs
99f16a0f9ca757410960ff51a79b034503384fe2Christian MaederDriver/
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian MaederExtModal.hs
99f16a0f9ca757410960ff51a79b034503384fe2Christian MaederExtModal/
6e5180855658f12f9059d9041f447bf0935de344Christian MaederGMP/
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian MaederGUI.hs
8a1f427564a5ae2db32332512237ef645289c34dChristian MaederGUI/
76647324ed70f33b95a881b536d883daccf9568dChristian MaederHasCASL.hs
76647324ed70f33b95a881b536d883daccf9568dChristian MaederHasCASL/
76647324ed70f33b95a881b536d883daccf9568dChristian MaederHaskell.hs
4e013227ed41ccd2e3d09dd44bedd651e1901f38Christian MaederHaskell/
568a1ce407fd05a2007c5db3c5c57098bf13997fChristian MaederHets-Haddock-Prologue.txt
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian MaederHets.cabal
76fa667489c5e0868ac68de9f0253ac10f73d0b5Christian MaederINSTALL
76647324ed70f33b95a881b536d883daccf9568dChristian MaederInterfaces/
76fa667489c5e0868ac68de9f0253ac10f73d0b5Christian MaederIsabelle.hs
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian MaederIsabelle/
76fa667489c5e0868ac68de9f0253ac10f73d0b5Christian MaederLF/
76647324ed70f33b95a881b536d883daccf9568dChristian MaederLICENSE.txt
fd5d3885a092ac0727fa2436cdfc3b248318ebd8Christian MaederLIZENZ.txt
ac510075311023bf24175f7a76b89ec2bbda0626Christian MaederLogic.hs
8a1f427564a5ae2db32332512237ef645289c34dChristian MaederLogic/
ac510075311023bf24175f7a76b89ec2bbda0626Christian MaederLottery/
b475a916d62584a2af5f51749240db7a5f0c8b82Christian MaederMakefile
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian MaederMakefile.installer
568a1ce407fd05a2007c5db3c5c57098bf13997fChristian MaederMaude/
ac510075311023bf24175f7a76b89ec2bbda0626Christian MaederModal.hs
fd5d3885a092ac0727fa2436cdfc3b248318ebd8Christian MaederModal/
fd5d3885a092ac0727fa2436cdfc3b248318ebd8Christian MaederModifications/
fd5d3885a092ac0727fa2436cdfc3b248318ebd8Christian MaederOMDoc.hs
ac9e33c3c35b2663e5cb76483228910f142d9576Christian MaederOMDoc/
ac9e33c3c35b2663e5cb76483228910f142d9576Christian MaederOWL.hs
ac9e33c3c35b2663e5cb76483228910f142d9576Christian MaederOWL/
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian MaederOmega/
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian MaederPGIP/
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian MaederProofs.hs
ac9e33c3c35b2663e5cb76483228910f142d9576Christian MaederProofs/
ac9e33c3c35b2663e5cb76483228910f142d9576Christian MaederPropositional.hs
ac9e33c3c35b2663e5cb76483228910f142d9576Christian MaederPropositional/
ac9e33c3c35b2663e5cb76483228910f142d9576Christian MaederREADME
ac9e33c3c35b2663e5cb76483228910f142d9576Christian MaederREADME.installer
ac9e33c3c35b2663e5cb76483228910f142d9576Christian MaederReduce/
ac9e33c3c35b2663e5cb76483228910f142d9576Christian MaederRelationalScheme.hs
ac9e33c3c35b2663e5cb76483228910f142d9576Christian MaederRelationalScheme/
4be371b81d055e03a5946e4ec333613f313d689bChristian MaederReleaseMakefile
ac510075311023bf24175f7a76b89ec2bbda0626Christian MaederSearch/
7de39d39bc1700cc8a9bb9df90b920aad9e18d4aChristian MaederSoftFOL.hs
ac9e33c3c35b2663e5cb76483228910f142d9576Christian MaederSoftFOL/
ac510075311023bf24175f7a76b89ec2bbda0626Christian MaederStatic.hs
ac510075311023bf24175f7a76b89ec2bbda0626Christian MaederStatic/
ac510075311023bf24175f7a76b89ec2bbda0626Christian MaederSyntax/
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian MaederTaxonomy.hs
568a1ce407fd05a2007c5db3c5c57098bf13997fChristian MaederTaxonomy/
ac510075311023bf24175f7a76b89ec2bbda0626Christian MaederTemporal/
fd5d3885a092ac0727fa2436cdfc3b248318ebd8Christian MaederTest.hs
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian MaederToHaskell/
76647324ed70f33b95a881b536d883daccf9568dChristian MaederVSE/
ac510075311023bf24175f7a76b89ec2bbda0626Christian Maederatermlib/
7c57322afb6342e5cc8b1fdc96050b707407fc61Christian Maederbuild.xml
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian Maederclean.lst
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian Maederclean.sh
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian Maederdoc/
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian Maederhets.hs
hets.in
ideas
mini/
pretty/
sample-ghci-script
test/
todo
utils/
var.mk
version_nr