Makefile revision 70731e5459a18fc473bdc962ca94d1c12de974af
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimbletttree 70731e5459a18fc473bdc962ca94d1c12de974af:
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblett
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettATC.hs
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettATC/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettCASL.hs
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettCASL/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettCASL_DL.hs
9ebbce450fb242e1a346f9f89367d8c46fcb2ec8Andy GimblettCASL_DL/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettCOL.hs
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettCOL/
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettCoCASL.hs
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettCoCASL/
9ebbce450fb242e1a346f9f89367d8c46fcb2ec8Andy GimblettCommon.hs
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettCommon/
9ebbce450fb242e1a346f9f89367d8c46fcb2ec8Andy GimblettComorphisms.hs
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettComorphisms/
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettConstraintCASL/
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettCspCASL.hs
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettCspCASL/
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettDriver.hs
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettDriver/
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettGMP/
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettGUI.hs
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettGUI/
d64c27888613a81c9634cd939dd05618175465efAndy GimblettHasCASL.hs
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettHasCASL/
d64c27888613a81c9634cd939dd05618175465efAndy GimblettHaskell.hs
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettHaskell/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettHets-Haddock-Prologue.txt
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettHets.cabal
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettINSTALL
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettIsabelle.hs
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettIsabelle/
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettLICENCE.txt
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettLICENSE.txt
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettLIZENZ.txt
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettLogic.hs
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettLogic/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettLottery/
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettMakefile
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettMakefile.installer
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettModal.hs
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettModal/
c4b2418421546a337f83332fe0db04742dcd735dAndy GimblettModifications/
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettOMDoc/
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettOWL.hs
29ac9ecacf0983a565b89f133ff2bdf2ac02b0c4Andy GimblettOWL/
29ac9ecacf0983a565b89f133ff2bdf2ac02b0c4Andy GimblettPGIP.hs
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettPGIP/
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