6f701a4dc295ddc997ba5190a3cd72d948d799dcPavel Březinatree a79fe3aad8743ea57e473ea5f66a723244cb9c0e:

6f701a4dc295ddc997ba5190a3cd72d948d799dcPavel Březina

6f701a4dc295ddc997ba5190a3cd72d948d799dcPavel BřezinaATC/

6f701a4dc295ddc997ba5190a3cd72d948d799dcPavel BřezinaCASL/

6f701a4dc295ddc997ba5190a3cd72d948d799dcPavel BřezinaCoCASL/

6f701a4dc295ddc997ba5190a3cd72d948d799dcPavel BřezinaCommon/

6f701a4dc295ddc997ba5190a3cd72d948d799dcPavel BřezinaComorphisms/

6f701a4dc295ddc997ba5190a3cd72d948d799dcPavel BřezinaCspCASL/

6f701a4dc295ddc997ba5190a3cd72d948d799dcPavel BřezinaGUI/

6f701a4dc295ddc997ba5190a3cd72d948d799dcPavel BřezinaHasCASL/

6f701a4dc295ddc997ba5190a3cd72d948d799dcPavel BřezinaHaskell/

6f701a4dc295ddc997ba5190a3cd72d948d799dcPavel BřezinaINSTALL

6f701a4dc295ddc997ba5190a3cd72d948d799dcPavel BřezinaIsabelle/

6f701a4dc295ddc997ba5190a3cd72d948d799dcPavel BřezinaLogic/

6f701a4dc295ddc997ba5190a3cd72d948d799dcPavel BřezinaLottery/

6f701a4dc295ddc997ba5190a3cd72d948d799dcPavel BřezinaMakefile

6f701a4dc295ddc997ba5190a3cd72d948d799dcPavel BřezinaModal/

6f701a4dc295ddc997ba5190a3cd72d948d799dcPavel BřezinaProofs/

6f701a4dc295ddc997ba5190a3cd72d948d799dcPavel BřezinaREADME

6f701a4dc295ddc997ba5190a3cd72d948d799dcPavel BřezinaReleaseMakefile

6f701a4dc295ddc997ba5190a3cd72d948d799dcPavel BřezinaStatic/

6f701a4dc295ddc997ba5190a3cd72d948d799dcPavel BřezinaSyntax/

6f701a4dc295ddc997ba5190a3cd72d948d799dcPavel BřezinaToHaskell/

6f701a4dc295ddc997ba5190a3cd72d948d799dcPavel Březinadoc/

6f701a4dc295ddc997ba5190a3cd72d948d799dcPavel Březinadocs/

6f701a4dc295ddc997ba5190a3cd72d948d799dcPavel Březinaghc/

6f701a4dc295ddc997ba5190a3cd72d948d799dcPavel Březinahaterm-1.0/

6f701a4dc295ddc997ba5190a3cd72d948d799dcPavel Březinahetcats/

6f701a4dc295ddc997ba5190a3cd72d948d799dcPavel Březinahugs/

6f701a4dc295ddc997ba5190a3cd72d948d799dcPavel Březinaideas

6f701a4dc295ddc997ba5190a3cd72d948d799dcPavel Březinamini/

6f701a4dc295ddc997ba5190a3cd72d948d799dcPavel Březinatest/

6f701a4dc295ddc997ba5190a3cd72d948d799dcPavel Březinatodo

6f701a4dc295ddc997ba5190a3cd72d948d799dcPavel Březinautils/

6f701a4dc295ddc997ba5190a3cd72d948d799dcPavel Březinaversion_nr

6f701a4dc295ddc997ba5190a3cd72d948d799dcPavel Březina