persistent revision 9d63e3d6c1c65ab10d1459b9f59a134161acc1d7
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbachtree 9d63e3d6c1c65ab10d1459b9f59a134161acc1d7:
08ea5f703d2e034f347a7e30ee3cca8a127d9c0eChristian Maeder
e071fb22ea9923a2a4ff41184d80ca46b55ee932Till Mossakowski.gitignore
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbach.travis.yml
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu ProdescuATC.hs
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus RoggenbachATC/
b4fbc96e05117839ca409f5f20f97b3ac872d1edTill MossakowskiAdl/
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus RoggenbachCASL.hs
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus RoggenbachCASL/
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus RoggenbachCASL_DL.hs
f3a94a197960e548ecd6520bb768cb0d547457bbChristian MaederCASL_DL/
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus RoggenbachCMDL.hs
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus RoggenbachCMDL/
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus RoggenbachCOL.hs
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus RoggenbachCOL/
bcd914850de931848b86d7728192a149f9c0108bChristian MaederCSL/
de16f2cd7bef567000c39b40e6f7b0b263e49d12Christian MaederCSMOF/
842ae753ab848a8508c4832ab64296b929167a97Christian MaederCoCASL.hs
842ae753ab848a8508c4832ab64296b929167a97Christian MaederCoCASL/
842ae753ab848a8508c4832ab64296b929167a97Christian MaederCommon.hs
2f35e5f6757968746dbab385be21fcae52378a3fLiam O'ReillyCommon/
816c50f9135a598dfdcfb2af8a80390bc42a9b24Liam O'ReillyCommonLogic/
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyComorphisms.hs
fd8af3ecf2dff782cb2496c1c9bf9d0a76faa98bLiam O'ReillyComorphisms/
bcd914850de931848b86d7728192a149f9c0108bChristian MaederConstraintCASL/
2f35e5f6757968746dbab385be21fcae52378a3fLiam O'ReillyCspCASL.hs
2f35e5f6757968746dbab385be21fcae52378a3fLiam O'ReillyCspCASL/
d3c9318c22fcf44d9135a3b2c64f880b9a785babChristian MaederCspCASLProver.hs
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyCspCASLProver/
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyDFOL/
b6e474220ddcf68a75ca3dc26093c5ac21e31747Christian MaederDMU/
b6e474220ddcf68a75ca3dc26093c5ac21e31747Christian MaederDriver.hs
f284db6f4dffd7bf60b82319648efb7bcb9378c9Christian MaederDriver/
f284db6f4dffd7bf60b82319648efb7bcb9378c9Christian MaederExtModal.hs
90047eafd2de482c67bcd13103c6064e9b0cb254Andy GimblettExtModal/
842ae753ab848a8508c4832ab64296b929167a97Christian MaederFpl/
4314e26a12954cb1c9be4dea10aa8103edac5bbbChristian MaederFramework.hs
d04c328b10f17ec78001a94d694f7188ebd8c03cAndy GimblettFramework/
2f35e5f6757968746dbab385be21fcae52378a3fLiam O'ReillyFreeCAD/
90047eafd2de482c67bcd13103c6064e9b0cb254Andy GimblettGMP/
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyGUI.hs
2650e8a56cc2381719bd2390fdf82402e0c696d8Christian MaederGUI/
2650e8a56cc2381719bd2390fdf82402e0c696d8Christian MaederHasCASL.hs
2650e8a56cc2381719bd2390fdf82402e0c696d8Christian MaederHasCASL/
2650e8a56cc2381719bd2390fdf82402e0c696d8Christian MaederHaskell.hs
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyHaskell/
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyHets-Haddock-Prologue.txt
4314e26a12954cb1c9be4dea10aa8103edac5bbbChristian MaederHets.cabal
2650e8a56cc2381719bd2390fdf82402e0c696d8Christian MaederHolLight/
2650e8a56cc2381719bd2390fdf82402e0c696d8Christian MaederHybrid.hs
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyHybrid/
842ae753ab848a8508c4832ab64296b929167a97Christian MaederInterfaces/
842ae753ab848a8508c4832ab64296b929167a97Christian MaederIsabelle.hs
842ae753ab848a8508c4832ab64296b929167a97Christian MaederIsabelle/
842ae753ab848a8508c4832ab64296b929167a97Christian MaederLF/
842ae753ab848a8508c4832ab64296b929167a97Christian MaederLICENSE.txt
4314e26a12954cb1c9be4dea10aa8103edac5bbbChristian MaederLIZENZ.txt
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyLogic.hs
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyLogic/
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyMMT.hs
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyMMT/
842ae753ab848a8508c4832ab64296b929167a97Christian MaederMakefile
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyMaude/
842ae753ab848a8508c4832ab64296b929167a97Christian MaederModal.hs
842ae753ab848a8508c4832ab64296b929167a97Christian MaederModal/
842ae753ab848a8508c4832ab64296b929167a97Christian MaederModifications/
842ae753ab848a8508c4832ab64296b929167a97Christian MaederOMDoc.hs
842ae753ab848a8508c4832ab64296b929167a97Christian MaederOMDoc/
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyOWL2.hs
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyOWL2/
67e234eb781dd16dfd269486befd2b5781075079Christian MaederOmega/
67e234eb781dd16dfd269486befd2b5781075079Christian MaederPGIP/
67e234eb781dd16dfd269486befd2b5781075079Christian MaederPLpatt/
842ae753ab848a8508c4832ab64296b929167a97Christian MaederPersistence/
842ae753ab848a8508c4832ab64296b929167a97Christian MaederProofs.hs
842ae753ab848a8508c4832ab64296b929167a97Christian MaederProofs/
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyPropositional.hs
842ae753ab848a8508c4832ab64296b929167a97Christian MaederPropositional/
842ae753ab848a8508c4832ab64296b929167a97Christian MaederQBF/
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyQVTR/
842ae753ab848a8508c4832ab64296b929167a97Christian MaederRDF/
842ae753ab848a8508c4832ab64296b929167a97Christian MaederREADME
842ae753ab848a8508c4832ab64296b929167a97Christian MaederREADME.md
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyRelationalScheme.hs
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyRelationalScheme/
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyScratch.hs
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillySoftFOL.hs
8528886a04f14abe0ddf80f50c853cc25bc821cdAndy GimblettSoftFOL/
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyStatic.hs
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyStatic/
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillySyntax.hs
8528886a04f14abe0ddf80f50c853cc25bc821cdAndy GimblettSyntax/
8528886a04f14abe0ddf80f50c853cc25bc821cdAndy GimblettTHF/
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyTPTP/
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'ReillyTaxonomy.hs
b6e474220ddcf68a75ca3dc26093c5ac21e31747Christian MaederTaxonomy/
2650e8a56cc2381719bd2390fdf82402e0c696d8Christian MaederTemporal/
b6e474220ddcf68a75ca3dc26093c5ac21e31747Christian MaederToHaskell/
33bdce26495121cdbce30331ef90a1969126a840Liam O'ReillyTopHybrid.hs
33bdce26495121cdbce30331ef90a1969126a840Liam O'ReillyTopHybrid/
33bdce26495121cdbce30331ef90a1969126a840Liam O'ReillyVSE/
33bdce26495121cdbce30331ef90a1969126a840Liam O'Reillyatermlib/
b6e474220ddcf68a75ca3dc26093c5ac21e31747Christian Maederdebian/
8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblettdoc/
e771539425f4a0abef9f94cf4b63690f3603f682Andy Gimbletthets.hs
e54c5af823b9775dd2c058185ea5bdf7593950faAndy Gimblettideas
d326dac41dadbe2b84bb7021cbfd91f4dd4a19bcAndy Gimblettmagic/
d297a45fc73aa6c4a1f9d073c3170611415f324bAndy Gimblettmini/
16e124196c6b204769042028c74f533509c9b5d3Christian Maederpretty/
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbachsample-ghci-script
67e234eb781dd16dfd269486befd2b5781075079Christian Maederstack.yaml
56899f6457976a2ee20f6a23f088cb5655b15715Liam O'Reillytest/
67e234eb781dd16dfd269486befd2b5781075079Christian Maedertodo
67e234eb781dd16dfd269486befd2b5781075079Christian Maederutils/
67e234eb781dd16dfd269486befd2b5781075079Christian Maedervar.mk
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'Reilly