8a77240a809197c92c0736c431b4b88947a7bac1Christian Maedertree 76fa667489c5e0868ac68de9f0253ac10f73d0b5:

d9a45a35cd696085be1a038b2cc67bee6819c574cmaeder

8a77240a809197c92c0736c431b4b88947a7bac1Christian MaederATC/

adea2e45fa61f1097aadc490a0aeaf4831b729ccChristian MaederCASL/

e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens ElknerCommon/

09b431a868c79a92ae7c9bd141565f43f9034144Christian MaederComorphisms/

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till MossakowskiCspCASL/

98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu ProdescuGUI/

2eeec5240b424984e3ee26296da1eeab6c6d739eChristian MaederHasCASL/

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till MossakowskiHaskell/

09b431a868c79a92ae7c9bd141565f43f9034144Christian MaederLogic/

0095c7efbddd0ffeed6aaf8ec015346be161d819Till MossakowskiLottery/

adea2e45fa61f1097aadc490a0aeaf4831b729ccChristian MaederMakefile

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till MossakowskiModal/

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till MossakowskiProofs/

09b431a868c79a92ae7c9bd141565f43f9034144Christian MaederStatic/

09b431a868c79a92ae7c9bd141565f43f9034144Christian MaederSyntax/

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederToHaskell/

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskidoc/

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maederghc/

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maederhaterm-1.0/

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskihetcats/

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskihugs/

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskimini/

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskitest/

1a38107941725211e7c3f051f7a8f5e12199f03acmaederutils/

1a38107941725211e7c3f051f7a8f5e12199f03acmaederversion_nr

ad270004874ce1d0697fb30d7309f180553bb315Christian Maeder