tree ac19f8695aa1b2d2d1cd1319da2530edd8f46a96:

ATC/

CASL/

Common/

Comorphisms/

CspCASL/

GUI/

HasCASL/

Haskell/

INSTALL

Isabelle/

Logic/

Lottery/

Makefile

Modal/

Proofs/

README

ReleaseMakefile

Static/

Syntax/

ToHaskell/

doc/

docs/

ghc/

haterm-1.0/

hetcats/

hugs/

ideas

mini/

test/

todo

utils/

version_nr