31a189d4cff554f78407cdc422480e84e99a6ec6Christian Maedertree c18e9c3c6d5039618f1f2c05526ece84c7794ea3:

31a189d4cff554f78407cdc422480e84e99a6ec6Christian Maeder

31a189d4cff554f78407cdc422480e84e99a6ec6Christian MaederATC/

31a189d4cff554f78407cdc422480e84e99a6ec6Christian MaederCASL/

31a189d4cff554f78407cdc422480e84e99a6ec6Christian MaederCommon/

b734b51e16ca659814c11205dfb0e97d13bf7ef6Christian MaederComorphisms/

b734b51e16ca659814c11205dfb0e97d13bf7ef6Christian MaederCspCASL/

b734b51e16ca659814c11205dfb0e97d13bf7ef6Christian MaederGUI/

b734b51e16ca659814c11205dfb0e97d13bf7ef6Christian MaederHasCASL/

Haskell/

Logic/

Lottery/

Makefile

Modal/

Proofs/

Static/

Syntax/

ToHaskell/

doc/

ghc/

haterm-1.0/

hetcats/

hugs/

mini/

test/

utils/

version_nr