Consts.hs revision 3d3889e0cefcdce9b3f43c53aaa201943ac2e895
eb8b603d56ab4beb9a66d186c430a66383588de3Dominik Dietrichtree 3d3889e0cefcdce9b3f43c53aaa201943ac2e895:
e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens Elkner
eb8b603d56ab4beb9a66d186c430a66383588de3Dominik Dietrich.gitignore
eb8b603d56ab4beb9a66d186c430a66383588de3Dominik DietrichATC.hs
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu ProdescuATC/
eb8b603d56ab4beb9a66d186c430a66383588de3Dominik DietrichAdl/
eb8b603d56ab4beb9a66d186c430a66383588de3Dominik DietrichCASL.hs
eb8b603d56ab4beb9a66d186c430a66383588de3Dominik DietrichCASL/
eb8b603d56ab4beb9a66d186c430a66383588de3Dominik DietrichCASL_DL.hs
eb8b603d56ab4beb9a66d186c430a66383588de3Dominik DietrichCASL_DL/
eb8b603d56ab4beb9a66d186c430a66383588de3Dominik DietrichCMDL.hs
eb8b603d56ab4beb9a66d186c430a66383588de3Dominik DietrichCMDL/
eb8b603d56ab4beb9a66d186c430a66383588de3Dominik DietrichCOL.hs
eb8b603d56ab4beb9a66d186c430a66383588de3Dominik DietrichCOL/
9378a7d0065818b541d989837dae2d9a89154007Dominik DietrichCSL/
eb8b603d56ab4beb9a66d186c430a66383588de3Dominik DietrichCSMOF/
eb8b603d56ab4beb9a66d186c430a66383588de3Dominik DietrichCoCASL.hs
eb8b603d56ab4beb9a66d186c430a66383588de3Dominik DietrichCoCASL/
eb8b603d56ab4beb9a66d186c430a66383588de3Dominik DietrichCommon.hs
eb8b603d56ab4beb9a66d186c430a66383588de3Dominik DietrichCommon/
eb8b603d56ab4beb9a66d186c430a66383588de3Dominik DietrichCommonLogic/
eb8b603d56ab4beb9a66d186c430a66383588de3Dominik DietrichComorphisms.hs
eb8b603d56ab4beb9a66d186c430a66383588de3Dominik DietrichComorphisms/
9378a7d0065818b541d989837dae2d9a89154007Dominik DietrichConstraintCASL/
9378a7d0065818b541d989837dae2d9a89154007Dominik DietrichCspCASL.hs
eb8b603d56ab4beb9a66d186c430a66383588de3Dominik DietrichCspCASL/
eb8b603d56ab4beb9a66d186c430a66383588de3Dominik DietrichCspCASLProver.hs
eb8b603d56ab4beb9a66d186c430a66383588de3Dominik DietrichCspCASLProver/
eb8b603d56ab4beb9a66d186c430a66383588de3Dominik DietrichDFOL/
eb8b603d56ab4beb9a66d186c430a66383588de3Dominik DietrichDMU/
eb8b603d56ab4beb9a66d186c430a66383588de3Dominik DietrichDriver.hs
eb8b603d56ab4beb9a66d186c430a66383588de3Dominik DietrichDriver/
eb8b603d56ab4beb9a66d186c430a66383588de3Dominik DietrichExtModal.hs
eb8b603d56ab4beb9a66d186c430a66383588de3Dominik DietrichExtModal/
eb8b603d56ab4beb9a66d186c430a66383588de3Dominik DietrichFpl/
eb8b603d56ab4beb9a66d186c430a66383588de3Dominik DietrichFramework.hs
eb8b603d56ab4beb9a66d186c430a66383588de3Dominik DietrichFramework/
eb8b603d56ab4beb9a66d186c430a66383588de3Dominik DietrichFreeCAD/
GMP/
GUI.hs
GUI/
HasCASL.hs
HasCASL/
Haskell.hs
Haskell/
Hets-Haddock-Prologue.txt
Hets.cabal
HolLight/
Hybrid.hs
Hybrid/
INSTALL
Interfaces/
Isabelle.hs
Isabelle/
LF/
LICENSE.txt
LIZENZ.txt
Logic.hs
Logic/
MMT.hs
MMT/
Makefile
Makefile.installer
Maude/
Modal.hs
Modal/
Modifications/
OMDoc.hs
OMDoc/
OWL2.hs
OWL2/
Omega/
PGIP/
PLpatt/
Proofs.hs
Proofs/
Propositional.hs
Propositional/
QBF/
QVTR/
RDF/
README
README.installer
RelationalScheme.hs
RelationalScheme/
ReleaseMakefile
Scratch.hs
SoftFOL.hs
SoftFOL/
Static.hs
Static/
Syntax.hs
Syntax/
THF/
Taxonomy.hs
Taxonomy/
Temporal/
ToHaskell/
TopHybrid.hs
TopHybrid/
VSE/
atermlib/
build.xml
clean.lst
clean.sh
doc/
hets.hs
hets.in
ideas
mini/
pretty/
programatica
sample-ghci-script
test/
todo
utils/
var.mk
version_nr