1a38107941725211e7c3f051f7a8f5e12199f03acmaedertree 89054b2b95a3f92e78324dc852f3d34704e2ca49:

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiu

e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens ElknerATC/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCASL/

431571057e88a650a974adec93ea4bb5173b6213Felix Gabriel ManceCommon/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuComorphisms/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCspCASL/

431571057e88a650a974adec93ea4bb5173b6213Felix Gabriel ManceGUI/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuHasCASL/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuHaskell/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuLogic/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuLottery/

19e01e1a7e319063434bd86c8ecbc5f241ef9993Felix Gabriel ManceMakefile

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuModal/

80875f917d741946a39d0ec0b5721e46ba609823Till MossakowskiProofs/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuStatic/

a604cbad8e2202147b5c6bb9f2e06ae61162d654Felix Gabriel ManceSyntax/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuToHaskell/

be2439588008221e691321fdf4f75432cfb72878Felix Gabriel Mancedoc/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiughc/

fc05327b875b5723b6c17849b83477f29ec12c90Felix Gabriel Mancehaterm-1.0/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiuhetcats/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiuhugs/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiumini/

0dd6e7830de0887c9a12356447975a826b3b3db2Christian Maedertest/

e0f1794e365dd347e97b37d7d22b2fce27296fa1Christian Maederutils/

424860079d47bf490fa98d5d7498096a0447c569mcodescuversion_nr

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiu