Makefile revision aebb0b18fe5e6ba7dd7e4c66a16a905611ef7ba9
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimbletttree aebb0b18fe5e6ba7dd7e4c66a16a905611ef7ba9:
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblett
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettATC.hs
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettATC/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettCASL.hs
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettCASL/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettCASL_DL.hs
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettCASL_DL/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettCOL.hs
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettCOL/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettCoCASL.hs
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettCoCASL/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettCommon.hs
d64c27888613a81c9634cd939dd05618175465efAndy GimblettCommon/
d64c27888613a81c9634cd939dd05618175465efAndy GimblettComorphisms.hs
d64c27888613a81c9634cd939dd05618175465efAndy GimblettComorphisms/
d64c27888613a81c9634cd939dd05618175465efAndy GimblettConstraintCASL/
d64c27888613a81c9634cd939dd05618175465efAndy GimblettCspCASL.hs
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettCspCASL/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettDriver.hs
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettDriver/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettGMP/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettGUI.hs
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettGUI/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettHasCASL.hs
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettHasCASL/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettHaskell.hs
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettHaskell/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettHets-Haddock-Prologue.txt
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettHets.cabal
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettINSTALL
d64c27888613a81c9634cd939dd05618175465efAndy GimblettIsabelle.hs
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettIsabelle/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettLICENCE.txt
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettLICENSE.txt
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettLIZENZ.txt
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettLogic.hs
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettLogic/
d64c27888613a81c9634cd939dd05618175465efAndy GimblettLottery/
d64c27888613a81c9634cd939dd05618175465efAndy GimblettMakefile
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettMakefile.installer
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettModal.hs
Modal/
Modifications/
OMDoc/
OWL_DL.hs
OWL_DL/
PGIP.hs
PGIP/
Proofs.hs
Proofs/
Propositional.hs
Propositional/
README
README.installer
ReleaseMakefile
SoftFOL.hs
SoftFOL/
Static.hs
Static/
Syntax/
Taxonomy.hs
Taxonomy/
Test.hs
ToHaskell/
clean.lst
clean.sh
doc/
haifa-lite/
hets.hs
hets.in
ideas
mini/
pretty/
sample-ghci-script
syb-generics/
test/
todo
utils/
version_nr