Morphism.hs revision e77eadd37125110f448dd5ddec7da5b78d35285f
57221209d11b05aa0373cc3892d5df89ba96ebf9Christian Maedertree e77eadd37125110f448dd5ddec7da5b78d35285f:
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbach
8267b99c0d7a187abe6f87ad50530dc08f5d1cdcAndy GimblettATC.hs
e071fb22ea9923a2a4ff41184d80ca46b55ee932Till MossakowskiATC/
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus RoggenbachCASL.hs
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu ProdescuCASL/
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus RoggenbachCASL_DL.hs
b4fbc96e05117839ca409f5f20f97b3ac872d1edTill MossakowskiCASL_DL/
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus RoggenbachCMDL.hs
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus RoggenbachCMDL/
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus RoggenbachCOL.hs
f3a94a197960e548ecd6520bb768cb0d547457bbChristian MaederCOL/
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus RoggenbachCoCASL.hs
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus RoggenbachCoCASL/
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus RoggenbachCommon.hs
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus RoggenbachCommon/
bcd914850de931848b86d7728192a149f9c0108bChristian MaederComorphisms.hs
842ae753ab848a8508c4832ab64296b929167a97Christian MaederComorphisms/
842ae753ab848a8508c4832ab64296b929167a97Christian MaederConstraintCASL/
842ae753ab848a8508c4832ab64296b929167a97Christian MaederCspCASL.hs
2f35e5f6757968746dbab385be21fcae52378a3fLiam O'ReillyCspCASL/
816c50f9135a598dfdcfb2af8a80390bc42a9b24Liam O'ReillyCspCASLProver.hs
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyCspCASLProver/
fd8af3ecf2dff782cb2496c1c9bf9d0a76faa98bLiam O'ReillyDFOL/
bcd914850de931848b86d7728192a149f9c0108bChristian MaederDMU/
2f35e5f6757968746dbab385be21fcae52378a3fLiam O'ReillyDriver.hs
2f35e5f6757968746dbab385be21fcae52378a3fLiam O'ReillyDriver/
d3c9318c22fcf44d9135a3b2c64f880b9a785babChristian MaederExtModal.hs
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyExtModal/
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyGMP/
b6e474220ddcf68a75ca3dc26093c5ac21e31747Christian MaederGUI.hs
b6e474220ddcf68a75ca3dc26093c5ac21e31747Christian MaederGUI/
f284db6f4dffd7bf60b82319648efb7bcb9378c9Christian MaederHasCASL.hs
f284db6f4dffd7bf60b82319648efb7bcb9378c9Christian MaederHasCASL/
90047eafd2de482c67bcd13103c6064e9b0cb254Andy GimblettHaskell.hs
842ae753ab848a8508c4832ab64296b929167a97Christian MaederHaskell/
4314e26a12954cb1c9be4dea10aa8103edac5bbbChristian MaederHets-Haddock-Prologue.txt
d04c328b10f17ec78001a94d694f7188ebd8c03cAndy GimblettHets.cabal
2f35e5f6757968746dbab385be21fcae52378a3fLiam O'ReillyINSTALL
90047eafd2de482c67bcd13103c6064e9b0cb254Andy GimblettInterfaces/
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyIsabelle.hs
4314e26a12954cb1c9be4dea10aa8103edac5bbbChristian MaederIsabelle/
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyLICENSE.txt
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyLIZENZ.txt
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyLogic.hs
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyLogic/
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyLottery/
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyMakefile
4314e26a12954cb1c9be4dea10aa8103edac5bbbChristian MaederMakefile.installer
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyMaude/
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyModal.hs
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyModal/
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyModifications/
842ae753ab848a8508c4832ab64296b929167a97Christian MaederOMDoc.hs
842ae753ab848a8508c4832ab64296b929167a97Christian MaederOMDoc/
842ae753ab848a8508c4832ab64296b929167a97Christian MaederOWL.hs
842ae753ab848a8508c4832ab64296b929167a97Christian MaederOWL/
842ae753ab848a8508c4832ab64296b929167a97Christian MaederOmega/
4314e26a12954cb1c9be4dea10aa8103edac5bbbChristian MaederPGIP/
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyProofs.hs
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyProofs/
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyPropositional.hs
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyPropositional/
842ae753ab848a8508c4832ab64296b929167a97Christian MaederREADME
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyREADME.installer
842ae753ab848a8508c4832ab64296b929167a97Christian MaederRelationalScheme.hs
842ae753ab848a8508c4832ab64296b929167a97Christian MaederRelationalScheme/
842ae753ab848a8508c4832ab64296b929167a97Christian MaederReleaseMakefile
842ae753ab848a8508c4832ab64296b929167a97Christian MaederSearch/
842ae753ab848a8508c4832ab64296b929167a97Christian MaederSoftFOL.hs
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillySoftFOL/
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyStatic.hs
67e234eb781dd16dfd269486befd2b5781075079Christian MaederStatic/
67e234eb781dd16dfd269486befd2b5781075079Christian MaederSyntax/
67e234eb781dd16dfd269486befd2b5781075079Christian MaederTaxonomy.hs
842ae753ab848a8508c4832ab64296b929167a97Christian MaederTaxonomy/
842ae753ab848a8508c4832ab64296b929167a97Christian MaederTemporal/
842ae753ab848a8508c4832ab64296b929167a97Christian MaederTest.hs
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyToHaskell/
842ae753ab848a8508c4832ab64296b929167a97Christian MaederVSE/
842ae753ab848a8508c4832ab64296b929167a97Christian Maederatermlib/
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'Reillybuild.xml
842ae753ab848a8508c4832ab64296b929167a97Christian Maederclean.lst
842ae753ab848a8508c4832ab64296b929167a97Christian Maederclean.sh
842ae753ab848a8508c4832ab64296b929167a97Christian Maederdoc/
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'Reillyhets.hs
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'Reillyhets.in
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'Reillyideas
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'Reillymini/
8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblettpretty/
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'Reillysample-ghci-script
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'Reillytest/
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'Reillytodo
8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblettutils/
8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblettvar.mk
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'Reillyversion_nr
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'Reilly