Makefile revision 4d56f2fa72e4aec20eb827c11ed49c8cbb7014bd
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo Wiedemeyertree 4d56f2fa72e4aec20eb827c11ed49c8cbb7014bd:
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo Wiedemeyer
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerATC.hs
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerATC/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerCASL.hs
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerCASL/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerCASL_DL.hs
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerCASL_DL/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerCOL.hs
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerCOL/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerCoCASL.hs
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerCoCASL/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerCommon.hs
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerCommon/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerComorphisms.hs
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerComorphisms/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerCspCASL.hs
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerCspCASL/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerDriver.hs
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerDriver/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerGUI.hs
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerGUI/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerHasCASL.hs
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerHasCASL/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerHaskell.hs
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerHaskell/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerHatchet.hs
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerHatchet/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerHets-Haddock-Prologue.txt
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerINSTALL
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerIsabelle.hs
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerIsabelle/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerLICENCE.txt
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerLIZENZ.txt
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerLogic.hs
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerLogic/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerLottery/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerMakefile
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerModal.hs
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerModal/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerOWL_DL.hs
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerOWL_DL/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerProofs.hs
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerProofs/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerREADME
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerReleaseMakefile
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerSPASS.hs
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerSPASS/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerStatic.hs
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerStatic/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerSyntax/
Taxonomy.hs
Taxonomy/
Test.hs
ToHaskell.hs
ToHaskell/
clean.lst
clean.sh
doc/
docs/
fgl/
ghc/
haterm-1.0/
hets.hs
hugs/
hxt/
ideas
install.sh
mini/
test/
todo
utils/
version_nr