Makefile revision cc07a598b995acc9436651e66fd18009509047ef
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedertree cc07a598b995acc9436651e66fd18009509047ef:
25cc5fbba63f84b47e389af749f55abbbde71c8cChristian Maeder
25cc5fbba63f84b47e389af749f55abbbde71c8cChristian MaederATC.hs
25cc5fbba63f84b47e389af749f55abbbde71c8cChristian MaederATC/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederAdl/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL_DL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL_DL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCMDL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCMDL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCOL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCOL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCSL/
d03ce8efc673309b40746bf5f66299cc3cefa3b0Klaus LuettichCoCASL.hs
8e494181dee5cfc59ae494e4082c71edfde24f58Christian MaederCoCASL/
b7839add0728fef3cbb28244373661db382f6588Christian MaederCommon.hs
ce8b15da31cd181b7e90593cbbca98f47eda29d6Till MossakowskiCommon/
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian MaederCommonLogic/
760ae19a92dde8249679a674f93f58d26a7c5f6bChristian MaederComorphisms.hs
760ae19a92dde8249679a674f93f58d26a7c5f6bChristian MaederComorphisms/
88c800932dd7053322501ea2039d9f234be6866cKlaus LuettichConstraintCASL/
c0c2380bced8159ff0297ece14eba948bd236471Christian MaederCspCASL.hs
c0c2380bced8159ff0297ece14eba948bd236471Christian MaederCspCASL/
c0c2380bced8159ff0297ece14eba948bd236471Christian MaederCspCASLProver.hs
c0c2380bced8159ff0297ece14eba948bd236471Christian MaederCspCASLProver/
8410667510a76409aca9bb24ff0eda0420088274Christian MaederDFOL/
8410667510a76409aca9bb24ff0eda0420088274Christian MaederDMU/
8410667510a76409aca9bb24ff0eda0420088274Christian MaederDriver.hs
404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus LuettichDriver/
404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus LuettichExtModal.hs
e1f542dcb2f3f33a7a1be5096f5ccf6147d3576cChristian MaederExtModal/
e1f542dcb2f3f33a7a1be5096f5ccf6147d3576cChristian MaederFpl/
404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus LuettichFramework.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederFramework/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederFreeCAD/
d67a33b40578beef2e255a274f89bb9c34aaf056Christian MaederGMP/
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian MaederGUI.hs
e593b89bfd4952698dc37feced21cefe869d87a2Christian MaederGUI/
c72c1e75a969ff4c336e77481c2a8e42603f13eeChristian MaederHasCASL.hs
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian MaederHasCASL/
6e049108aa87dc46bcff96fae50a4625df1d9648Klaus LuettichHaskell.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHaskell/
5d44c8cecd07b47ce537c7e14bf7b41a39f08507Christian MaederHets-Haddock-Prologue.txt
5d44c8cecd07b47ce537c7e14bf7b41a39f08507Christian MaederHets.cabal
c6fcd42c6d6d9dae8c7835c24fcb7ce8531a9050Christian MaederHolLight/
c6fcd42c6d6d9dae8c7835c24fcb7ce8531a9050Christian MaederINSTALL
31c49f2fa23d4ac089f35145d80a224deb6ea7e4Till MossakowskiInterfaces/
c55a0f77be7e88d3620b419ec8961f4379a586e3Klaus LuettichIsabelle.hs
7b2177999334c920c5669621bd3c142fe198a8d7Christian MaederIsabelle/
9e748851c150e1022fb952bab3315e869aaf0214Christian MaederLF/
9e748851c150e1022fb952bab3315e869aaf0214Christian MaederLICENSE.txt
d3ae0072823e2ef0d41d4431fcc768e66489c20eChristian MaederLIZENZ.txt
9e748851c150e1022fb952bab3315e869aaf0214Christian MaederLogic.hs
f4505a64a089693012a3f5c3b1f12a82cd7a2a5aKlaus LuettichLogic/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLottery/
9e748851c150e1022fb952bab3315e869aaf0214Christian MaederMakefile
9e748851c150e1022fb952bab3315e869aaf0214Christian MaederMakefile.installer
9e748851c150e1022fb952bab3315e869aaf0214Christian MaederMaude/
9e748851c150e1022fb952bab3315e869aaf0214Christian MaederModal.hs
9e748851c150e1022fb952bab3315e869aaf0214Christian MaederModal/
9e748851c150e1022fb952bab3315e869aaf0214Christian MaederModifications/
9e748851c150e1022fb952bab3315e869aaf0214Christian MaederOMDoc.hs
9e748851c150e1022fb952bab3315e869aaf0214Christian MaederOMDoc/
9e748851c150e1022fb952bab3315e869aaf0214Christian MaederOWL2.hs
9e748851c150e1022fb952bab3315e869aaf0214Christian MaederOWL2/
9e748851c150e1022fb952bab3315e869aaf0214Christian MaederOmega/
9e748851c150e1022fb952bab3315e869aaf0214Christian MaederPGIP/
9e748851c150e1022fb952bab3315e869aaf0214Christian MaederProofs.hs
61fa0ac06ede811c7aad54ec4c4202346727368eChristian MaederProofs/
c0c2380bced8159ff0297ece14eba948bd236471Christian MaederPropositional.hs
c0c2380bced8159ff0297ece14eba948bd236471Christian MaederPropositional/
5d44c8cecd07b47ce537c7e14bf7b41a39f08507Christian MaederQBF/
c0c2380bced8159ff0297ece14eba948bd236471Christian MaederRDF/
c0c2380bced8159ff0297ece14eba948bd236471Christian MaederREADME
c0c2380bced8159ff0297ece14eba948bd236471Christian MaederREADME.installer
c0c2380bced8159ff0297ece14eba948bd236471Christian MaederRelationalScheme.hs
9e748851c150e1022fb952bab3315e869aaf0214Christian MaederRelationalScheme/
9e748851c150e1022fb952bab3315e869aaf0214Christian MaederReleaseMakefile
9e748851c150e1022fb952bab3315e869aaf0214Christian MaederScratch.hs
9e748851c150e1022fb952bab3315e869aaf0214Christian MaederSearch/
9e748851c150e1022fb952bab3315e869aaf0214Christian MaederSoftFOL.hs
c0c2380bced8159ff0297ece14eba948bd236471Christian MaederSoftFOL/
549b97cfbe3a6687db74440a550b68b2fc19a272Christian MaederStatic.hs
549b97cfbe3a6687db74440a550b68b2fc19a272Christian MaederStatic/
61fa0ac06ede811c7aad54ec4c4202346727368eChristian MaederSyntax/
61fa0ac06ede811c7aad54ec4c4202346727368eChristian MaederTHF/
c0c2380bced8159ff0297ece14eba948bd236471Christian MaederTaxonomy.hs
f4505a64a089693012a3f5c3b1f12a82cd7a2a5aKlaus LuettichTaxonomy/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederTemporal/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederToHaskell/
f4505a64a089693012a3f5c3b1f12a82cd7a2a5aKlaus LuettichVSE/
f4505a64a089693012a3f5c3b1f12a82cd7a2a5aKlaus Luettichatermlib/
f4505a64a089693012a3f5c3b1f12a82cd7a2a5aKlaus Luettichbuild.xml
5d4038657f6a63e131f5804af2f7957b69e15a43Klaus Luettichclean.lst
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederclean.sh
c0c2380bced8159ff0297ece14eba948bd236471Christian Maederdoc/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederhets.hs
77a65251ee036c6aaf09c2775315a4ee24259fbdJorina Freya Gerkenhets.in
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederideas
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedermini/
23ab8855c58adfbd03a0730584b917b24c603901Christian Maederpretty/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederprogramatica
97812b7ce9860bf514a8822a63503451795dbc65Klaus Luettichsample-ghci-script
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedertest/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedertodo
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederutils/
61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maedervar.mk
61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maederversion_nr
61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maeder