Makefile revision 23d36f448c5a8c02972d7f5de8713738bd9327fb
8267b99c0d7a187abe6f87ad50530dc08f5d1cdcAndy Gimbletttree 23d36f448c5a8c02972d7f5de8713738bd9327fb:
8267b99c0d7a187abe6f87ad50530dc08f5d1cdcAndy Gimblett
e071fb22ea9923a2a4ff41184d80ca46b55ee932Till MossakowskiATC.hs
8267b99c0d7a187abe6f87ad50530dc08f5d1cdcAndy GimblettATC/
8267b99c0d7a187abe6f87ad50530dc08f5d1cdcAndy GimblettAdl/
8267b99c0d7a187abe6f87ad50530dc08f5d1cdcAndy GimblettCASL.hs
8267b99c0d7a187abe6f87ad50530dc08f5d1cdcAndy GimblettCASL/
8267b99c0d7a187abe6f87ad50530dc08f5d1cdcAndy GimblettCASL_DL.hs
8267b99c0d7a187abe6f87ad50530dc08f5d1cdcAndy GimblettCASL_DL/
8267b99c0d7a187abe6f87ad50530dc08f5d1cdcAndy GimblettCMDL.hs
8267b99c0d7a187abe6f87ad50530dc08f5d1cdcAndy GimblettCMDL/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettCOL.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettCOL/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettCSL/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettCoCASL.hs
2cf5a456da8bb3a2bbb695414d8304426e3bd277Andy GimblettCoCASL/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettCommon.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettCommon/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettCommonLogic/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettComorphisms.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettComorphisms/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettConstraintCASL/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettConstraints/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettCspCASL.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettCspCASL/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettCspCASLProver.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettCspCASLProver/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettDFOL/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettDMU/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettDriver.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettDriver/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettExtModal.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettExtModal/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettFpl/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettFramework.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettFramework/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettFreeCAD/
2cf5a456da8bb3a2bbb695414d8304426e3bd277Andy GimblettGMP/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettGUI.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettGUI/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettHasCASL.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettHasCASL/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettHaskell.hs
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettHaskell/
2cf5a456da8bb3a2bbb695414d8304426e3bd277Andy GimblettHets-Haddock-Prologue.txt
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettHets.cabal
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettHolLight/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettINSTALL
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettInterfaces/
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettIsabelle.hs
2cf5a456da8bb3a2bbb695414d8304426e3bd277Andy GimblettIsabelle/
2cf5a456da8bb3a2bbb695414d8304426e3bd277Andy GimblettLF/
2cf5a456da8bb3a2bbb695414d8304426e3bd277Andy 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/
PGIP/
Proofs.hs
Proofs/
Propositional.hs
Propositional/
QBF/
README
README.installer
RelationalScheme.hs
RelationalScheme/
ReleaseMakefile
Scratch.hs
Search/
SoftFOL.hs
SoftFOL/
Static.hs
Static/
Syntax/
THF/
Taxonomy.hs
Taxonomy/
Temporal/
ToHaskell/
VSE/
atermlib/
build.xml
clean.lst
clean.sh
doc/
hets.hs
hets.in
ideas
mini/
pretty/
programatica
sample-ghci-script
test/
todo
utils/
var.mk
version_nr