f799084b320209cdd71a29e74fff1be054c1d342Christian Maedertree af621d0066770895fd79562728e93099c8c52060:

f799084b320209cdd71a29e74fff1be054c1d342Christian Maeder

f799084b320209cdd71a29e74fff1be054c1d342Christian MaederATC/

f799084b320209cdd71a29e74fff1be054c1d342Christian MaederCASL/

f799084b320209cdd71a29e74fff1be054c1d342Christian MaederCommon/

f799084b320209cdd71a29e74fff1be054c1d342Christian MaederComorphisms/

f799084b320209cdd71a29e74fff1be054c1d342Christian MaederCspCASL/

f799084b320209cdd71a29e74fff1be054c1d342Christian MaederGUI/

f799084b320209cdd71a29e74fff1be054c1d342Christian MaederHasCASL/

f799084b320209cdd71a29e74fff1be054c1d342Christian MaederHaskell/

f799084b320209cdd71a29e74fff1be054c1d342Christian MaederLogic/

f799084b320209cdd71a29e74fff1be054c1d342Christian MaederLottery/

f799084b320209cdd71a29e74fff1be054c1d342Christian MaederMakefile

f799084b320209cdd71a29e74fff1be054c1d342Christian MaederModal/

3ab1e7a18f3fc3eb004464bc54b7df4483f1f060Christian MaederProofs/

f799084b320209cdd71a29e74fff1be054c1d342Christian MaederStatic/

f799084b320209cdd71a29e74fff1be054c1d342Christian MaederSyntax/

f799084b320209cdd71a29e74fff1be054c1d342Christian MaederToHaskell/

f799084b320209cdd71a29e74fff1be054c1d342Christian Maederdoc/

f799084b320209cdd71a29e74fff1be054c1d342Christian Maederghc/

f799084b320209cdd71a29e74fff1be054c1d342Christian Maederhaterm-1.0/

f799084b320209cdd71a29e74fff1be054c1d342Christian Maederhetcats/

f799084b320209cdd71a29e74fff1be054c1d342Christian Maederhugs/

f799084b320209cdd71a29e74fff1be054c1d342Christian Maedermini/

f799084b320209cdd71a29e74fff1be054c1d342Christian Maedertest/

f799084b320209cdd71a29e74fff1be054c1d342Christian Maederutils/

0015e1756b734b34d4b550318c078f9a0c585611Christian Maederversion_nr

0015e1756b734b34d4b550318c078f9a0c585611Christian Maeder