Makefile revision ef9e8535c168d3f774d9e74368a2317a9eda5826
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedertree ef9e8535c168d3f774d9e74368a2317a9eda5826:
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder
1a6464613c59e35072b90ca296ae402cbe956144Christian MaederATC.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederATC/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL_DL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL_DL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCMDL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCMDL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCOL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCOL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCoCASL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCoCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCommon.hs
ecb5a608e8a1219b0657ab58fe8538dae334a357Christian MaederCommon/
ecb5a608e8a1219b0657ab58fe8538dae334a357Christian MaederComorphisms.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederComorphisms/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederConstraintCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCspCASL.hs
d67a33b40578beef2e255a274f89bb9c34aaf056Christian MaederCspCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCspCASLProver.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCspCASLProver/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederDFOL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederDriver.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederDriver/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederGMP/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederGUI.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederGUI/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHasCASL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHasCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHaskell.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHaskell/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHets-Haddock-Prologue.txt
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHets.cabal
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederINSTALL
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederInterfaces/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederIsabelle.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederIsabelle/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLICENSE.txt
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLIZENZ.txt
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLogic.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLogic/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLottery/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederMakefile
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederMakefile.installer
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederMaude/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederModal.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederModal/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederModifications/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederOMDoc.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederOMDoc/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederOWL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederOWL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederOmega/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederPGIP/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederProofs.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederProofs/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederPropositional.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederPropositional/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederREADME
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederREADME.installer
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederRelationalScheme.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederRelationalScheme/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederReleaseMakefile
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederSearch/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederSoftFOL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederSoftFOL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederStatic.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederStatic/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederSyntax/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederTaxonomy.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederTaxonomy/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederTemporal/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederTest.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederToHaskell/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederVSE/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederatermlib/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederbuild.xml
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederclean.lst
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederclean.sh
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederdoc/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederhets.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederhets.in
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederideas
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedermini/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederpretty/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedersample-ghci-script
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedertest/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedertodo
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederutils/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedervar.mk
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederversion_nr
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder