Makefile revision 68d10d143f29fcff3c637ba24f90e983995ceae6
96671d31fef5b34c14c938bd13f2495904574cd8Klaus Luettichtree 68d10d143f29fcff3c637ba24f90e983995ceae6:
96671d31fef5b34c14c938bd13f2495904574cd8Klaus Luettich
96671d31fef5b34c14c938bd13f2495904574cd8Klaus LuettichATC.hs
96671d31fef5b34c14c938bd13f2495904574cd8Klaus LuettichATC/
a9a5ac69d1d35b1a8f4288f7de005b16589cc0c5Christian MaederCASL.hs
a9a5ac69d1d35b1a8f4288f7de005b16589cc0c5Christian MaederCASL/
96671d31fef5b34c14c938bd13f2495904574cd8Klaus LuettichCASL_DL.hs
96671d31fef5b34c14c938bd13f2495904574cd8Klaus LuettichCASL_DL/
96671d31fef5b34c14c938bd13f2495904574cd8Klaus LuettichCOL.hs
96671d31fef5b34c14c938bd13f2495904574cd8Klaus LuettichCOL/
96671d31fef5b34c14c938bd13f2495904574cd8Klaus LuettichCoCASL.hs
96671d31fef5b34c14c938bd13f2495904574cd8Klaus LuettichCoCASL/
96671d31fef5b34c14c938bd13f2495904574cd8Klaus LuettichCommon.hs
96671d31fef5b34c14c938bd13f2495904574cd8Klaus LuettichCommon/
96671d31fef5b34c14c938bd13f2495904574cd8Klaus LuettichComorphisms.hs
96671d31fef5b34c14c938bd13f2495904574cd8Klaus LuettichComorphisms/
96671d31fef5b34c14c938bd13f2495904574cd8Klaus LuettichConstraintCASL/
96671d31fef5b34c14c938bd13f2495904574cd8Klaus LuettichCspCASL.hs
96671d31fef5b34c14c938bd13f2495904574cd8Klaus LuettichCspCASL/
96671d31fef5b34c14c938bd13f2495904574cd8Klaus LuettichDriver.hs
96671d31fef5b34c14c938bd13f2495904574cd8Klaus LuettichDriver/
96671d31fef5b34c14c938bd13f2495904574cd8Klaus LuettichGUI.hs
96671d31fef5b34c14c938bd13f2495904574cd8Klaus LuettichGUI/
96671d31fef5b34c14c938bd13f2495904574cd8Klaus LuettichHasCASL.hs
96671d31fef5b34c14c938bd13f2495904574cd8Klaus LuettichHasCASL/
96671d31fef5b34c14c938bd13f2495904574cd8Klaus LuettichHaskell.hs
96671d31fef5b34c14c938bd13f2495904574cd8Klaus LuettichHaskell/
96671d31fef5b34c14c938bd13f2495904574cd8Klaus LuettichHets-Haddock-Prologue.txt
96671d31fef5b34c14c938bd13f2495904574cd8Klaus LuettichINSTALL
96671d31fef5b34c14c938bd13f2495904574cd8Klaus LuettichIsabelle.hs
96671d31fef5b34c14c938bd13f2495904574cd8Klaus LuettichIsabelle/
96671d31fef5b34c14c938bd13f2495904574cd8Klaus LuettichLICENCE.txt
96671d31fef5b34c14c938bd13f2495904574cd8Klaus LuettichLICENSE.txt
96671d31fef5b34c14c938bd13f2495904574cd8Klaus LuettichLIZENZ.txt
Logic.hs
Logic/
Lottery/
Makefile
Makefile.installer
Modal.hs
Modal/
OMDoc/
OWL_DL.hs
OWL_DL/
PGIP.hs
PGIP/
Proofs.hs
Proofs/
Propositional.hs
Propositional/
README
ReleaseMakefile
SPASS.hs
SPASS/
Static.hs
Static/
Syntax/
Taxonomy.hs
Taxonomy/
Test.hs
ToHaskell/
clean.lst
clean.sh
cvs-howto
doc/
haifa-lite/
hets.hs
hets.in
ideas
mini/
pretty/
sample-ghci-script
syb-generics/
test/
todo
utils/
version_nr