INSTALL revision 73677326fdbc1d154208000f6f37d7524d8f90cf
749N/Atree 73677326fdbc1d154208000f6f37d7524d8f90cf:
749N/A
920N/A.gitignore
749N/A.travis.yml
943N/AATC.hs
749N/AATC/
749N/AAdl/
919N/ACASL.hs
919N/ACASL/
919N/ACASL_DL.hs
919N/ACASL_DL/
919N/ACMDL.hs
919N/ACMDL/
919N/ACOL.hs
919N/ACOL/
919N/ACSL/
919N/ACSMOF/
919N/ACoCASL.hs
919N/ACoCASL/
919N/ACommon.hs
919N/ACommon/
919N/ACommonLogic/
919N/AComorphisms.hs
919N/AComorphisms/
749N/AConstraintCASL/
749N/ACspCASL.hs
749N/ACspCASL/
749N/ACspCASLProver.hs
749N/ACspCASLProver/
749N/ADFOL/
749N/ADMU/
749N/ADriver.hs
749N/ADriver/
749N/AExtModal.hs
970N/AExtModal/
970N/AFpl/
970N/AFramework.hs
970N/AFramework/
749N/AFreeCAD/
749N/AGMP/
749N/AGUI.hs
749N/AGUI/
749N/AHasCASL.hs
749N/AHasCASL/
749N/AHaskell.hs
749N/AHaskell/
749N/AHets-Haddock-Prologue.txt
749N/AHets.cabal
749N/AHolLight/
749N/AHybrid.hs
749N/AHybrid/
749N/AInterfaces/
749N/AIsabelle.hs
749N/AIsabelle/
749N/ALF/
749N/ALICENSE.txt
749N/ALIZENZ.txt
749N/ALogic.hs
749N/ALogic/
749N/AMMT.hs
749N/AMMT/
920N/AMakefile
920N/AMaude/
920N/AModal.hs
970N/AModal/
970N/AModifications/
970N/AOMDoc.hs
749N/AOMDoc/
OWL2.hs
OWL2/
Omega/
PGIP/
PLpatt/
Proofs.hs
Proofs/
Propositional.hs
Propositional/
QBF/
QVTR/
RDF/
README
README.md
RelationalScheme.hs
RelationalScheme/
Scratch.hs
SoftFOL.hs
SoftFOL/
Static.hs
Static/
Syntax.hs
Syntax/
THF/
Taxonomy.hs
Taxonomy/
Temporal/
ToHaskell/
TopHybrid.hs
TopHybrid/
VSE/
atermlib/
clean.lst
clean.sh
debian/
doc/
hets.hs
hets.in
ideas
magic/
mini/
pretty/
sample-ghci-script
test/
todo
utils/
var.mk
version_nr