Makefile revision 83394c6b6e6de128e71b67c9251ed7a84485d082
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimbletttree 83394c6b6e6de128e71b67c9251ed7a84485d082:
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/
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettProofs.hs
c4b2418421546a337f83332fe0db04742dcd735dAndy GimblettProofs/
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettREADME
19ef749a762ef2c09579549715a63b364f0395d5Andy GimblettReleaseMakefile
29ac9ecacf0983a565b89f133ff2bdf2ac02b0c4Andy GimblettSPASS.hs
29ac9ecacf0983a565b89f133ff2bdf2ac02b0c4Andy GimblettSPASS/
afc52bfaabee38c4d55cee9f35b1a0028ba3854aAndy GimblettStatic.hs
Static/
Syntax/
Taxonomy.hs
Taxonomy/
Test.hs
ToHaskell/
clean.lst
clean.sh
doc/
fgl/
haterm-1.0/
hets.hs
hxt/
ideas
install.sh
mini/
test/
todo
utils/
version_nr