tree e9458b1a7a19a63aa4c179f9ab20f4d50681c168:

.gitignore

ATC/

Adl/

CASL/

CASL_DL/

CMDL/

COL/

CSL/

CSMOF/

CoCASL/

Common/

CommonLogic/

Comorphisms/

ConstraintCASL/

CspCASL/

CspCASLProver/

DFOL/

DMU/

Driver/

ExtModal/

Fpl/

Framework/

FreeCAD/

GMP/

GUI/

HasCASL/

Haskell/

HolLight/

Hybrid/

INSTALL

Interfaces/

Isabelle/

LF/

Logic/

MMT/

Makefile

Maude/

Modal/

Modifications/

OMDoc/

OWL2/

Omega/

PGIP/

PLpatt/

Proofs/

Propositional/

QBF/

QVTR/

RDF/

README

RelationalScheme/

ReleaseMakefile

ServerMakefile

SoftFOL/

Static/

Syntax/

THF/

Taxonomy/

Temporal/

ToHaskell/

TopHybrid/

UbuntuMakefile

VSE/

atermlib/

doc/

ideas

magic/

mini/

pretty/

programatica

sample-ghci-script

test/

todo

utils/

version_nr