Makefile revision a1ed34933c266ce85066acb0d7b20c90cb8eb213
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimbletttree a1ed34933c266ce85066acb0d7b20c90cb8eb213:
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
1ac35b084d7e57853f66169d2ca5532977fc403aJens ElknerModal/
c4b2418421546a337f83332fe0db04742dcd735dAndy GimblettModifications/
c01168f53431b6ad785bf8a8b12bd3a60b93b9b4Andy GimblettOMDoc/
1ac35b084d7e57853f66169d2ca5532977fc403aJens ElknerOWL_DL.hs
c01168f53431b6ad785bf8a8b12bd3a60b93b9b4Andy GimblettOWL_DL/
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettPGIP.hs
adce8375991a372444ab995895442dca6faf9677Andy GimblettPGIP/
29ac9ecacf0983a565b89f133ff2bdf2ac02b0c4Andy GimblettProofs.hs
29ac9ecacf0983a565b89f133ff2bdf2ac02b0c4Andy GimblettProofs/
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettPropositional.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