Makefile revision 5580ab3e64410186ccd36cde8a94282d8757ac0d
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozektree 5580ab3e64410186ccd36cde8a94282d8757ac0d:
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekATC.hs
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekATC/
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekCASL.hs
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekCASL/
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekCASL_DL.hs
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekCASL_DL/
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekCOL.hs
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekCOL/
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekCoCASL.hs
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekCoCASL/
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekCommon.hs
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekCommon/
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekComorphisms.hs
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekComorphisms/
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekConstraintCASL/
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekCspCASL.hs
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekCspCASL/
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekCspCASLProver.hs
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekCspCASLProver/
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekDriver.hs
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekDriver/
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekGMP/
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekGUI.hs
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekGUI/
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekHasCASL.hs
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekHasCASL/
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekHaskell.hs
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekHaskell/
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekHets-Haddock-Prologue.txt
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekHets.cabal
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekINSTALL
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekInterfaces/
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekIsabelle.hs
38ebc764eeb7693e0c4f0894d6687e54fbba871bJakub HrozekIsabelle/
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekLICENSE.txt
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekLIZENZ.txt
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekLogic.hs
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekLogic/
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekLottery/
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekMakefile
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekMakefile.installer
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekMaude/
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekModal.hs
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekModal/
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekModifications/
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub HrozekOMDoc.hs
OMDoc/
OWL.hs
OWL/
PGIP.hs
PGIP/
Proofs.hs
Proofs/
Propositional.hs
Propositional/
README
README.installer
RelationalScheme.hs
RelationalScheme/
ReleaseMakefile
Search/
SoftFOL.hs
SoftFOL/
Static.hs
Static/
Syntax/
Taxonomy.hs
Taxonomy/
Temporal/
Test.hs
ToHaskell/
VSE/
build.xml
clean.lst
clean.sh
doc/
haifa-lite/
hets.hs
hets.in
ideas
mini/
pretty/
sample-ghci-script
syb-generics/
test/
todo
utils/
var.mk
version_nr