Makefile revision 01e383014b555bbcf639c0ca60c5810b3eff83c0
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimbletttree 01e383014b555bbcf639c0ca60c5810b3eff83c0:
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 GimblettCspCASL.hs
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettCspCASL/
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettDriver.hs
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettDriver/
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettGUI.hs
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettGUI/
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettHasCASL.hs
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettHasCASL/
d64c27888613a81c9634cd939dd05618175465efAndy GimblettHaskell.hs
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettHaskell/
d64c27888613a81c9634cd939dd05618175465efAndy GimblettHatchet/
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettHets-Haddock-Prologue.txt
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettINSTALL
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettIsabelle.hs
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettIsabelle/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettLICENCE.txt
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettLICENSE.txt
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettLIZENZ.txt
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettLogic.hs
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettLogic/
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettLottery/
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettMakefile
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettModal.hs
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettModal/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettOWL_DL.hs
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettOWL_DL/
1ac35b084d7e57853f66169d2ca5532977fc403aJens ElknerProofs.hs
c4b2418421546a337f83332fe0db04742dcd735dAndy GimblettProofs/
c01168f53431b6ad785bf8a8b12bd3a60b93b9b4Andy GimblettREADME
1ac35b084d7e57853f66169d2ca5532977fc403aJens ElknerReleaseMakefile
c01168f53431b6ad785bf8a8b12bd3a60b93b9b4Andy GimblettSPASS.hs
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettSPASS/
adce8375991a372444ab995895442dca6faf9677Andy GimblettStatic.hs
29ac9ecacf0983a565b89f133ff2bdf2ac02b0c4Andy GimblettStatic/
29ac9ecacf0983a565b89f133ff2bdf2ac02b0c4Andy GimblettSyntax/
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettTaxonomy.hs
Taxonomy/
Test.hs
ToHaskell/
clean.lst
clean.sh
doc/
fgl/
hets.hs
hxt/
ideas
install.sh
mini/
test/
todo
utils/
version_nr