Morphism.hs revision a001917177db7ae636853b37c0d0f9f4e90a83ff
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason Lemaytree a001917177db7ae636853b37c0d0f9f4e90a83ff:
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason Lemay
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayATC.hs
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayATC/
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayCASL.hs
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayCASL/
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayCASL_DL.hs
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayCASL_DL/
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayCOL.hs
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayCOL/
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayCoCASL.hs
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayCoCASL/
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayCommon.hs
088fa5d9eaa83bf4b3d59a64c0519f42a143aaa9Alin BriciCommon/
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayComorphisms.hs
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayComorphisms/
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayCspCASL.hs
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayCspCASL/
4d154727feb7fbe69dd1451fa5462f558e7165c7Brendan MmillerDriver.hs
088fa5d9eaa83bf4b3d59a64c0519f42a143aaa9Alin BriciDriver/
088fa5d9eaa83bf4b3d59a64c0519f42a143aaa9Alin BriciGUI.hs
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayGUI/
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayHasCASL.hs
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayHasCASL/
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayHaskell.hs
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayHaskell/
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayHatchet/
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayHets-Haddock-Prologue.txt
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayINSTALL
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayIsabelle.hs
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayIsabelle/
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayLICENCE.txt
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayLICENSE.txt
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayLIZENZ.txt
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayLogic.hs
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayLogic/
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayLottery/
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayMakefile
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayModal.hs
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayModal/
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayOWL_DL.hs
4d154727feb7fbe69dd1451fa5462f558e7165c7Brendan MmillerOWL_DL/
4d154727feb7fbe69dd1451fa5462f558e7165c7Brendan MmillerProofs.hs
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayProofs/
4d154727feb7fbe69dd1451fa5462f558e7165c7Brendan MmillerREADME
4d154727feb7fbe69dd1451fa5462f558e7165c7Brendan MmillerReleaseMakefile
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemaySPASS.hs
4d154727feb7fbe69dd1451fa5462f558e7165c7Brendan MmillerSPASS/
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayStatic.hs
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayStatic/
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemaySyntax/
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayTaxonomy.hs
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayTaxonomy/
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayTest.hs
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason LemayToHaskell/
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason Lemayclean.lst
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason Lemayclean.sh
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason Lemaycvs-howto
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason Lemaydoc/
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason Lemayfgl/
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason Lemayhets.hs
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason Lemayhxt/
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason Lemayideas
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason Lemayinstall.sh
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason Lemaymini/
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason Lemaytest/
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason Lemaytodo
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason Lemayutils/
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason Lemayversion_nr
102cd62c1b6b55d0dee627930d058a8cc36e2b4fJason Lemay