Makefile revision aebb0b18fe5e6ba7dd7e4c66a16a905611ef7ba9
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedertree aebb0b18fe5e6ba7dd7e4c66a16a905611ef7ba9:
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder
1a6464613c59e35072b90ca296ae402cbe956144Christian MaederATC.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederATC/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL_DL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL_DL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCOL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCOL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCoCASL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCoCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCommon.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCommon/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederComorphisms.hs
b9625461755578f3eed04676d42a63fd2caebd0cChristian MaederComorphisms/
b9625461755578f3eed04676d42a63fd2caebd0cChristian MaederConstraintCASL/
09a67ca9b5cdf09e06470d4c965484783e2963f4Christian MaederCspCASL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCspCASL/
88c800932dd7053322501ea2039d9f234be6866cKlaus LuettichDriver.hs
88c800932dd7053322501ea2039d9f234be6866cKlaus LuettichDriver/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederGMP/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederGUI.hs
d67a33b40578beef2e255a274f89bb9c34aaf056Christian MaederGUI/
88c800932dd7053322501ea2039d9f234be6866cKlaus LuettichHasCASL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHasCASL/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersHaskell.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHaskell/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHets-Haddock-Prologue.txt
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHets.cabal
caf544dc9b8f02e05e37786681153f5660e67f64Martin KühlINSTALL
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederIsabelle.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederIsabelle/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLICENCE.txt
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLICENSE.txt
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLIZENZ.txt
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLogic.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLogic/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLottery/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederMakefile
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederMakefile.installer
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederModal.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederModal/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersModifications/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederOMDoc/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederOWL_DL.hs
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersOWL_DL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederPGIP.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederPGIP/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederProofs.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederProofs/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederPropositional.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederPropositional/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederREADME
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederREADME.installer
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederReleaseMakefile
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersSoftFOL.hs
ebe517300051f765f2ed856a789dd5613d681ab0Klaus LuettichSoftFOL/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersStatic.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederStatic/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederSyntax/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederTaxonomy.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederTaxonomy/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederTest.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederToHaskell/
ebe517300051f765f2ed856a789dd5613d681ab0Klaus Luettichclean.lst
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckersclean.sh
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckersdoc/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederhaifa-lite/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederhets.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederhets.in
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederideas
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckersmini/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckerspretty/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckerssample-ghci-script
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckerssyb-generics/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckerstest/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckerstodo
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckersutils/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckersversion_nr
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckers