OpDecl.hs revision adfdcfa67b7f12df6df7292e238c3f9a4b637980
8723ec450f2e7a024230467c0c28a3f154905483cmaedertree adfdcfa67b7f12df6df7292e238c3f9a4b637980:
d27b1887e61f1dc53d77c37f59dbf5019242a686Christian Maeder
d27b1887e61f1dc53d77c37f59dbf5019242a686Christian MaederATC.hs
d27b1887e61f1dc53d77c37f59dbf5019242a686Christian MaederATC/
d27b1887e61f1dc53d77c37f59dbf5019242a686Christian MaederCASL.hs
d27b1887e61f1dc53d77c37f59dbf5019242a686Christian MaederCASL/
d27b1887e61f1dc53d77c37f59dbf5019242a686Christian MaederCASL_DL.hs
d27b1887e61f1dc53d77c37f59dbf5019242a686Christian MaederCASL_DL/
d27b1887e61f1dc53d77c37f59dbf5019242a686Christian MaederCOL.hs
d27b1887e61f1dc53d77c37f59dbf5019242a686Christian MaederCOL/
d27b1887e61f1dc53d77c37f59dbf5019242a686Christian MaederCoCASL.hs
d27b1887e61f1dc53d77c37f59dbf5019242a686Christian MaederCoCASL/
99b26e2ab8ba89bc9a050c1524137eb6269e2753Christian MaederCommon.hs
18548c6cc2dff13bf9f5f08b3f6cde6ca914df1dChristian MaederCommon/
fdf9cef4c2e81f477f3023fb8e45f6faebfa5a65Eugen KuksaComorphisms.hs
25da71ee832b729e33def344a68f59fe21ce9c07Eugen KuksaComorphisms/
25da71ee832b729e33def344a68f59fe21ce9c07Eugen KuksaConstraintCASL/
950875ac099734b9eaccf4233773e6df00477f22Eugen KuksaCspCASL.hs
7d0db235b17b2109cd45fa50e6d1bbc77823f81dEugen KuksaCspCASL/
25da71ee832b729e33def344a68f59fe21ce9c07Eugen KuksaDriver.hs
92ae4d5885ea837ffe3dae9b2de742f871229b94Christian MaederDriver/
d27b1887e61f1dc53d77c37f59dbf5019242a686Christian MaederGMP/
d27b1887e61f1dc53d77c37f59dbf5019242a686Christian MaederGUI.hs
ef1c24c8229ade3ac872febebd18c181e32fb9c4Christian MaederGUI/
8d2321e17a34951fbd52f68e9f9f148f0890e471Christian MaederHasCASL.hs
d27b1887e61f1dc53d77c37f59dbf5019242a686Christian MaederHasCASL/
99b26e2ab8ba89bc9a050c1524137eb6269e2753Christian MaederHaskell.hs
986888e7f4d8ed681272a79c63f329ce8037063dcmaederHaskell/
e5f71ad96ddbaafd3bf8ae0820df93e0db4b0527cmaederHets-Haddock-Prologue.txt
e5f71ad96ddbaafd3bf8ae0820df93e0db4b0527cmaederHets.cabal
eae0d62755147d991cc3e903f74f98ac31a7cd42Christian MaederINSTALL
8723ec450f2e7a024230467c0c28a3f154905483cmaederIsabelle.hs
8723ec450f2e7a024230467c0c28a3f154905483cmaederIsabelle/
ab38e2fac740c4336afafbe0584053dc2e67002bEugen KuksaLICENCE.txt
8723ec450f2e7a024230467c0c28a3f154905483cmaederLICENSE.txt
eae0d62755147d991cc3e903f74f98ac31a7cd42Christian MaederLIZENZ.txt
d4263171d0ce2cbc390a7b44bff98e8b3c0f8ce7Christian MaederLogic.hs
d27b1887e61f1dc53d77c37f59dbf5019242a686Christian MaederLogic/
e84c877ad38ce9312eab222a79f44da2015572d2Christian MaederLottery/
d27b1887e61f1dc53d77c37f59dbf5019242a686Christian MaederMakefile
d27b1887e61f1dc53d77c37f59dbf5019242a686Christian MaederMakefile.installer
d27b1887e61f1dc53d77c37f59dbf5019242a686Christian MaederModal.hs
d27b1887e61f1dc53d77c37f59dbf5019242a686Christian MaederModal/
ef1c24c8229ade3ac872febebd18c181e32fb9c4Christian MaederModifications/
ef1c24c8229ade3ac872febebd18c181e32fb9c4Christian MaederOMDoc/
945e82ed7877917f3ab1657f555e71991372546aChristian MaederOWL_DL.hs
275698320a734a6fd647ea6a461d6ce38862da1dChristian MaederOWL_DL/
c208973c890b8f993297720fd0247bc7481d4304Christian MaederPGIP.hs
275698320a734a6fd647ea6a461d6ce38862da1dChristian MaederPGIP/
ef1c24c8229ade3ac872febebd18c181e32fb9c4Christian MaederProofs.hs
ef1c24c8229ade3ac872febebd18c181e32fb9c4Christian MaederProofs/
7c99a6c982aaf61547de8054296c8055c8d1a13aSimon UlbrichtPropositional.hs
ef1c24c8229ade3ac872febebd18c181e32fb9c4Christian MaederPropositional/
024703c9d1326c23e307c0b0d453ed3358e87fe4cmaederREADME
d97700a22b2585ece83b05f3fff945fdfd0c44b4Christian MaederREADME.installer
275698320a734a6fd647ea6a461d6ce38862da1dChristian MaederReleaseMakefile
1d65a799298f6b1253d774c22f61029e6eb99cadcmaederSoftFOL.hs
1d65a799298f6b1253d774c22f61029e6eb99cadcmaederSoftFOL/
ea5ccb1c6e89486a54e1f4bd95840147e96093edChristian MaederStatic.hs
de8eee2014437ec4020be15cd363257f87e79943Christian MaederStatic/
ea5ccb1c6e89486a54e1f4bd95840147e96093edChristian MaederSyntax/
e42249ec61f50a83525db6e5fc9f5c4dd1b4cf5fcmaederTaxonomy.hs
fd94a6f66ccb5cef99aa42069b61e4b8734dbd3fChristian MaederTaxonomy/
f674d7a58db3f991300a708f3799d80c369781f8Eugen KuksaTest.hs
fd94a6f66ccb5cef99aa42069b61e4b8734dbd3fChristian MaederToHaskell/
275698320a734a6fd647ea6a461d6ce38862da1dChristian Maederclean.lst
275698320a734a6fd647ea6a461d6ce38862da1dChristian Maederclean.sh
e42249ec61f50a83525db6e5fc9f5c4dd1b4cf5fcmaederdoc/
473f5af6e4803fbeecc814065952396f2501039bChristian Maederhaifa-lite/
473f5af6e4803fbeecc814065952396f2501039bChristian Maederhets.hs
473f5af6e4803fbeecc814065952396f2501039bChristian Maederhets.in
473f5af6e4803fbeecc814065952396f2501039bChristian Maederideas
e42249ec61f50a83525db6e5fc9f5c4dd1b4cf5fcmaedermini/
6a88f8edd881afaf4b865b01bfbb4faaf0e7a3c9Simon Ulbrichtpretty/
473f5af6e4803fbeecc814065952396f2501039bChristian Maedersample-ghci-script
20bbcc2b693b3040d7b8cc92ba966580637027d9cmaedersyb-generics/
728bd6bf3eb21b95a5e83db746a3c6ab5e8a6de1Eugen Kuksatest/
275698320a734a6fd647ea6a461d6ce38862da1dChristian Maedertodo
e42249ec61f50a83525db6e5fc9f5c4dd1b4cf5fcmaederutils/
275698320a734a6fd647ea6a461d6ce38862da1dChristian Maederversion_nr
734a5ebd38032798f0ab908e2d52862c71b2c127Simon Ulbricht