Makefile revision 140287998aa8592c9c403bd9e308e447ba92ae11
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimbletttree 140287998aa8592c9c403bd9e308e447ba92ae11:
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblett
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettATC.hs
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettATC/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettAdl/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettCASL.hs
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettCASL/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettCASL_DL.hs
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettCASL_DL/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettCMDL.hs
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettCMDL/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettCOL.hs
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettCOL/
d64c27888613a81c9634cd939dd05618175465efAndy GimblettCSL/
d64c27888613a81c9634cd939dd05618175465efAndy GimblettCoCASL.hs
d64c27888613a81c9634cd939dd05618175465efAndy GimblettCoCASL/
d64c27888613a81c9634cd939dd05618175465efAndy GimblettCommon.hs
d64c27888613a81c9634cd939dd05618175465efAndy GimblettCommon/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettCommonLogic/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettComorphisms.hs
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettComorphisms/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettConstraintCASL/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettCspCASL.hs
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettCspCASL/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettCspCASLProver.hs
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettCspCASLProver/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettDFOL/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettDMU/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettDriver.hs
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettDriver/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettExtModal.hs
d64c27888613a81c9634cd939dd05618175465efAndy GimblettExtModal/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettFpl/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettFramework.hs
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettFramework/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettFreeCAD/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettGMP/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettGUI.hs
d64c27888613a81c9634cd939dd05618175465efAndy GimblettGUI/
d64c27888613a81c9634cd939dd05618175465efAndy GimblettHasCASL.hs
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettHasCASL/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettHaskell.hs
Haskell/
Hets-Haddock-Prologue.txt
Hets.cabal
HolLight/
INSTALL
Interfaces/
Isabelle.hs
Isabelle/
LF/
LICENSE.txt
LIZENZ.txt
Logic.hs
Logic/
Lottery/
Makefile
Makefile.installer
Maude/
Modal.hs
Modal/
Modifications/
OMDoc.hs
OMDoc/
OWL.hs
OWL/
OWL2/
Omega/
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