Makefile revision 7cc09dd93962a2155c34d209d1d4cd7d7b838264
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo Wiedemeyertree 7cc09dd93962a2155c34d209d1d4cd7d7b838264:
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 WiedemeyerConstraintCASL/
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 WiedemeyerHets-Haddock-Prologue.txt
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerINSTALL
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerIsabelle.hs
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerIsabelle/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerLICENCE.txt
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerLICENSE.txt
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerLIZENZ.txt
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerLogic.hs
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerLogic/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerLottery/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerMakefile
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerMakefile.installer
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerModal.hs
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerModal/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerOMDoc/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerOWL_DL.hs
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerOWL_DL/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerPGIP.hs
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerPGIP/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerProofs.hs
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerProofs/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerREADME
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerReleaseMakefile
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerSPASS.hs
SPASS/
Static.hs
Static/
Syntax/
Taxonomy.hs
Taxonomy/
Test.hs
ToHaskell/
clean.lst
clean.sh
cvs-howto
doc/
haifa-lite/
hcl/
hets.hs
hets.in
hxt/
ideas
mini/
pretty/
syb-generics/
test/
todo
utils/
version_nr