Makefile revision e39a1626bee36d6ad13a2c0014a80ef179a65bcb
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo Wiedemeyertree e39a1626bee36d6ad13a2c0014a80ef179a65bcb:
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 WiedemeyerDL.hs
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerDL/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerDriver.hs
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerDriver/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerGMP/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerGUI.hs
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerGUI/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerHasCASL.hs
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerHasCASL/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerHaskell.hs
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerHaskell/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerHets-Haddock-Prologue.txt
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerHets.cabal
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerINSTALL
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerIsabelle.hs
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerIsabelle/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerLICENSE.txt
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerLIZENZ.txt
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerLogic.hs
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerLogic/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerLottery/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerMakefile
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerMakefile.installer
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerModal.hs
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerModal/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerModifications/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerOMDoc/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerOWL.hs
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerOWL/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerPGIP.hs
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerPGIP/
c68f68e340b20c00117a171804c9ed93c6306ac9Thiemo WiedemeyerProofs.hs
Proofs/
Propositional.hs
Propositional/
README
README.installer
RelationalScheme.hs
RelationalScheme/
ReleaseMakefile
Search/
SoftFOL.hs
SoftFOL/
Static.hs
Static/
Syntax/
Taxonomy.hs
Taxonomy/
Test.hs
ToHaskell/
VSE/
clean.lst
clean.sh
doc/
haifa-lite/
hets.hs
hets.in
ideas
mini/
pretty/
sample-ghci-script
syb-generics/
test/
todo
utils/
version_nr