Morphism.hs revision 9a6779c8495854bdf36e4a87f98f095e8d0a6e45
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen Gallaghertree 9a6779c8495854bdf36e4a87f98f095e8d0a6e45:
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen Gallagher
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherATC.hs
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherATC/
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherAdl/
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherCASL.hs
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherCASL/
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherCASL_DL.hs
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherCASL_DL/
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherCMDL.hs
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherCMDL/
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherCOL.hs
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherCOL/
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherCSL/
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherCoCASL.hs
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherCoCASL/
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherCommon.hs
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherCommon/
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherCommonLogic/
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherComorphisms.hs
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherComorphisms/
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherConstraintCASL/
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherConstraints/
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherCspCASL.hs
f2c346eaa486431ffa2a3adc05356159de834e2eLukas SlebodnikCspCASL/
f2c346eaa486431ffa2a3adc05356159de834e2eLukas SlebodnikCspCASLProver.hs
f2c346eaa486431ffa2a3adc05356159de834e2eLukas SlebodnikCspCASLProver/
580374daba2ab2c6075a7d0de9512abff133e2e9Jakub HrozekDFOL/
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherDMU/
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherDriver.hs
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherDriver/
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherExtModal.hs
6ac396bebb4cd3124711d26dce54263f6f9c7c45Simo SorceExtModal/
6ac396bebb4cd3124711d26dce54263f6f9c7c45Simo SorceFpl/
51773686d354b82081830444c048706d83d43d65Jakub HrozekFramework.hs
28d1ff294f7d612f6d37c82ed426b8bf5c34bfafJakub HrozekFramework/
28d1ff294f7d612f6d37c82ed426b8bf5c34bfafJakub HrozekFreeCAD/
28d1ff294f7d612f6d37c82ed426b8bf5c34bfafJakub HrozekGMP/
28d1ff294f7d612f6d37c82ed426b8bf5c34bfafJakub HrozekGUI.hs
4e9631a9f1ae87317eef53145622099c46196b56Jakub HrozekGUI/
9579839a00493830c10a856ad1f5e035b6fa3b45Ondrej KosHasCASL.hs
3412d14d65490c32414e72ac20fe21bad53ceb45Simo SorceHasCASL/
3412d14d65490c32414e72ac20fe21bad53ceb45Simo SorceHaskell.hs
3412d14d65490c32414e72ac20fe21bad53ceb45Simo SorceHaskell/
9579839a00493830c10a856ad1f5e035b6fa3b45Ondrej KosHets-Haddock-Prologue.txt
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherHets.cabal
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherHolLight/
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherINSTALL
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherInterfaces/
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherIsabelle.hs
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherIsabelle/
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherLF/
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherLICENSE.txt
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherLIZENZ.txt
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherLogic.hs
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherLogic/
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherLottery/
28d1ff294f7d612f6d37c82ed426b8bf5c34bfafJakub HrozekMakefile
28d1ff294f7d612f6d37c82ed426b8bf5c34bfafJakub HrozekMakefile.installer
51773686d354b82081830444c048706d83d43d65Jakub HrozekMaude/
51773686d354b82081830444c048706d83d43d65Jakub HrozekModal.hs
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherModal/
28d1ff294f7d612f6d37c82ed426b8bf5c34bfafJakub HrozekModifications/
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherOMDoc.hs
28d1ff294f7d612f6d37c82ed426b8bf5c34bfafJakub HrozekOMDoc/
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherOWL.hs
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherOWL/
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherOmega/
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherPGIP/
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherProofs.hs
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherProofs/
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherPropositional.hs
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherPropositional/
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherQBF/
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherREADME
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherREADME.installer
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherRelationalScheme.hs
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherRelationalScheme/
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherReleaseMakefile
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherScratch.hs
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherSearch/
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherSoftFOL.hs
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherSoftFOL/
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherStatic.hs
2dd3faebcd3cfd00efda38ffd2585d675e696b12Stephen GallagherStatic/
28d1ff294f7d612f6d37c82ed426b8bf5c34bfafJakub HrozekSyntax/
28d1ff294f7d612f6d37c82ed426b8bf5c34bfafJakub HrozekTaxonomy.hs
28d1ff294f7d612f6d37c82ed426b8bf5c34bfafJakub HrozekTaxonomy/
28d1ff294f7d612f6d37c82ed426b8bf5c34bfafJakub HrozekTemporal/
28d1ff294f7d612f6d37c82ed426b8bf5c34bfafJakub HrozekToHaskell/
28d1ff294f7d612f6d37c82ed426b8bf5c34bfafJakub HrozekVSE/
28d1ff294f7d612f6d37c82ed426b8bf5c34bfafJakub Hrozekatermlib/
28d1ff294f7d612f6d37c82ed426b8bf5c34bfafJakub Hrozekbuild.xml
3412d14d65490c32414e72ac20fe21bad53ceb45Simo Sorceclean.lst
28d1ff294f7d612f6d37c82ed426b8bf5c34bfafJakub Hrozekclean.sh
28d1ff294f7d612f6d37c82ed426b8bf5c34bfafJakub Hrozekdoc/
28d1ff294f7d612f6d37c82ed426b8bf5c34bfafJakub Hrozekhets.hs
28d1ff294f7d612f6d37c82ed426b8bf5c34bfafJakub Hrozekhets.in
28d1ff294f7d612f6d37c82ed426b8bf5c34bfafJakub Hrozekideas
28d1ff294f7d612f6d37c82ed426b8bf5c34bfafJakub Hrozekmini/
51773686d354b82081830444c048706d83d43d65Jakub Hrozekpretty/
51773686d354b82081830444c048706d83d43d65Jakub Hrozekprogramatica
b3292840ebaa747a9fd596ff47cc5d18198361d0Michal Zideksample-ghci-script
51773686d354b82081830444c048706d83d43d65Jakub Hrozektest/
51773686d354b82081830444c048706d83d43d65Jakub Hrozektodo
51773686d354b82081830444c048706d83d43d65Jakub Hrozekutils/
51773686d354b82081830444c048706d83d43d65Jakub Hrozekvar.mk
51773686d354b82081830444c048706d83d43d65Jakub Hrozekversion_nr
51773686d354b82081830444c048706d83d43d65Jakub Hrozek