Makefile revision 4e23d551da8fb051cc4752319740ae7858ef1044
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimbletttree 4e23d551da8fb051cc4752319740ae7858ef1044:
8267b99c0d7a187abe6f87ad50530dc08f5d1cdcAndy Gimblett
e071fb22ea9923a2a4ff41184d80ca46b55ee932Till MossakowskiATC.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettATC/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettCASL.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettCASL/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettCASL_DL.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettCASL_DL/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettCMDL.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettCMDL/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettCOL.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettCOL/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettCoCASL.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettCoCASL/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettCommon.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettCommon/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettComorphisms.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettComorphisms/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettConstraintCASL/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettCspCASL.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettCspCASL/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettCspCASLProver.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettCspCASLProver/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettDFOL/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettDriver.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettDriver/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettGMP/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettGUI.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettGUI/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettHasCASL.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettHasCASL/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettHaskell.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettHaskell/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettHets-Haddock-Prologue.txt
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettHets.cabal
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettINSTALL
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettInterfaces/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettIsabelle.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettIsabelle/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettLICENSE.txt
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettLIZENZ.txt
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettLogic.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettLogic/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettLottery/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettMakefile
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettMakefile.installer
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettMaude/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettModal.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettModal/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettModifications/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettOMDoc.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettOMDoc/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettOWL.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettOWL/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettOmega/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettPGIP/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettProofs.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettProofs/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettPropositional.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettPropositional/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettREADME
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettREADME.installer
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettRelationalScheme.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettRelationalScheme/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettReleaseMakefile
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettSearch/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettSoftFOL.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettSoftFOL/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettStatic.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettStatic/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettSyntax/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettTaxonomy.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettTaxonomy/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettTemporal/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettTest.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettToHaskell/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettVSE/
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettbuild.xml
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettclean.lst
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettclean.sh
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettdoc/
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimbletthets.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimbletthets.in
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettideas
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettmini/
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettpretty/
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettsample-ghci-script
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimbletttest/
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimbletttodo
29ac9ecacf0983a565b89f133ff2bdf2ac02b0c4Andy Gimblettutils/
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettvar.mk
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettversion_nr
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett