8723ec450f2e7a024230467c0c28a3f154905483cmaedertree 43b4c41fbb07705c9df321221ab9cb9832460407:

d27b1887e61f1dc53d77c37f59dbf5019242a686Christian Maeder

d27b1887e61f1dc53d77c37f59dbf5019242a686Christian MaederATC/

d27b1887e61f1dc53d77c37f59dbf5019242a686Christian MaederCASL/

d27b1887e61f1dc53d77c37f59dbf5019242a686Christian MaederCOL/

d27b1887e61f1dc53d77c37f59dbf5019242a686Christian MaederCoCASL/

d27b1887e61f1dc53d77c37f59dbf5019242a686Christian MaederCommon/

d27b1887e61f1dc53d77c37f59dbf5019242a686Christian MaederComorphisms/

d27b1887e61f1dc53d77c37f59dbf5019242a686Christian MaederCspCASL/

d27b1887e61f1dc53d77c37f59dbf5019242a686Christian MaederDriver/

d27b1887e61f1dc53d77c37f59dbf5019242a686Christian MaederGUI/

d27b1887e61f1dc53d77c37f59dbf5019242a686Christian MaederHasCASL/

99b26e2ab8ba89bc9a050c1524137eb6269e2753Christian MaederHaskell/

18548c6cc2dff13bf9f5f08b3f6cde6ca914df1dChristian MaederHatchet/

fdf9cef4c2e81f477f3023fb8e45f6faebfa5a65Eugen KuksaINSTALL

25da71ee832b729e33def344a68f59fe21ce9c07Eugen KuksaIsabelle/

7d0db235b17b2109cd45fa50e6d1bbc77823f81dEugen KuksaLogic/

25da71ee832b729e33def344a68f59fe21ce9c07Eugen KuksaLottery/

92ae4d5885ea837ffe3dae9b2de742f871229b94Christian MaederMakefile

d27b1887e61f1dc53d77c37f59dbf5019242a686Christian MaederModal/

d27b1887e61f1dc53d77c37f59dbf5019242a686Christian MaederOWL_DL/

ef1c24c8229ade3ac872febebd18c181e32fb9c4Christian MaederProofs/

8d2321e17a34951fbd52f68e9f9f148f0890e471Christian MaederREADME

d27b1887e61f1dc53d77c37f59dbf5019242a686Christian MaederReleaseMakefile

99b26e2ab8ba89bc9a050c1524137eb6269e2753Christian MaederStatic/

986888e7f4d8ed681272a79c63f329ce8037063dcmaederSyntax/

e5f71ad96ddbaafd3bf8ae0820df93e0db4b0527cmaederTaxonomy/

eae0d62755147d991cc3e903f74f98ac31a7cd42Christian MaederToHaskell/

ab38e2fac740c4336afafbe0584053dc2e67002bEugen Kuksadoc/

8723ec450f2e7a024230467c0c28a3f154905483cmaederdocs/

eae0d62755147d991cc3e903f74f98ac31a7cd42Christian Maederfgl/

d4263171d0ce2cbc390a7b44bff98e8b3c0f8ce7Christian Maederghc/

d27b1887e61f1dc53d77c37f59dbf5019242a686Christian Maederhaterm-1.0/

e84c877ad38ce9312eab222a79f44da2015572d2Christian Maederhetcats/

d27b1887e61f1dc53d77c37f59dbf5019242a686Christian Maederhugs/

d27b1887e61f1dc53d77c37f59dbf5019242a686Christian Maederhxt/

d27b1887e61f1dc53d77c37f59dbf5019242a686Christian Maederideas

ef1c24c8229ade3ac872febebd18c181e32fb9c4Christian Maedermini/

945e82ed7877917f3ab1657f555e71991372546aChristian Maedertest/

275698320a734a6fd647ea6a461d6ce38862da1dChristian Maedertodo

c208973c890b8f993297720fd0247bc7481d4304Christian Maederutils/

275698320a734a6fd647ea6a461d6ce38862da1dChristian Maederversion_nr

ef1c24c8229ade3ac872febebd18c181e32fb9c4Christian Maeder