1773fdad2730f3f910782781fa286f402ce36ccaLukas Slebodniktree 8b9fda012e5ee53b7b2320c0638896a0ff6e99f3:

1773fdad2730f3f910782781fa286f402ce36ccaLukas Slebodnik

1773fdad2730f3f910782781fa286f402ce36ccaLukas SlebodnikATC/

1773fdad2730f3f910782781fa286f402ce36ccaLukas SlebodnikCASL/

1773fdad2730f3f910782781fa286f402ce36ccaLukas SlebodnikCOL/

1773fdad2730f3f910782781fa286f402ce36ccaLukas SlebodnikCoCASL/

1773fdad2730f3f910782781fa286f402ce36ccaLukas SlebodnikCommon/

1773fdad2730f3f910782781fa286f402ce36ccaLukas SlebodnikComorphisms/

1773fdad2730f3f910782781fa286f402ce36ccaLukas SlebodnikCspCASL/

1773fdad2730f3f910782781fa286f402ce36ccaLukas SlebodnikGUI/

1773fdad2730f3f910782781fa286f402ce36ccaLukas SlebodnikHasCASL/

1773fdad2730f3f910782781fa286f402ce36ccaLukas SlebodnikHaskell/

1773fdad2730f3f910782781fa286f402ce36ccaLukas SlebodnikINSTALL

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