Logic_THF.hs revision 421def3c7b0b9ca7762f809a2c57c6ee74495ffa
b6ff72be73dad3d1394cf2c71e29e67624ff030bChristian Maedertree 421def3c7b0b9ca7762f809a2c57c6ee74495ffa:
beff4152e9f0fe90885458d1a1733b183a2a8816Christian Maeder
b53688bfed888214b485cf76439d57262d80e0a7Christian Maeder.gitignore
e6d40133bc9f858308654afb1262b8b483ec5922Till MossakowskiATC.hs
2725abe920f91de62ae5c0b7230c1627cccf5fabChristian MaederATC/
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu ProdescuAdl/
b53688bfed888214b485cf76439d57262d80e0a7Christian MaederCASL.hs
3f69b6948966979163bdfe8331c38833d5d90ecdChristian MaederCASL/
b53688bfed888214b485cf76439d57262d80e0a7Christian MaederCASL_DL.hs
b53688bfed888214b485cf76439d57262d80e0a7Christian MaederCASL_DL/
b53688bfed888214b485cf76439d57262d80e0a7Christian MaederCMDL.hs
f3a94a197960e548ecd6520bb768cb0d547457bbChristian MaederCMDL/
b53688bfed888214b485cf76439d57262d80e0a7Christian MaederCOL.hs
b53688bfed888214b485cf76439d57262d80e0a7Christian MaederCOL/
b53688bfed888214b485cf76439d57262d80e0a7Christian MaederCSL/
109a53dbf4c9233f869f63ba7a7f3fece49973c3Christian MaederCoCASL.hs
109a53dbf4c9233f869f63ba7a7f3fece49973c3Christian MaederCoCASL/
109a53dbf4c9233f869f63ba7a7f3fece49973c3Christian MaederCommon.hs
109a53dbf4c9233f869f63ba7a7f3fece49973c3Christian MaederCommon/
109a53dbf4c9233f869f63ba7a7f3fece49973c3Christian MaederCommonLogic/
109a53dbf4c9233f869f63ba7a7f3fece49973c3Christian MaederComorphisms.hs
109a53dbf4c9233f869f63ba7a7f3fece49973c3Christian MaederComorphisms/
ea5ccb1c6e89486a54e1f4bd95840147e96093edChristian MaederConstraintCASL/
109a53dbf4c9233f869f63ba7a7f3fece49973c3Christian MaederCspCASL.hs
109a53dbf4c9233f869f63ba7a7f3fece49973c3Christian MaederCspCASL/
85e1d54a475bfc30b3eac5ae6c5e42a2d7e93f10Christian MaederCspCASLProver.hs
85e1d54a475bfc30b3eac5ae6c5e42a2d7e93f10Christian MaederCspCASLProver/
109a53dbf4c9233f869f63ba7a7f3fece49973c3Christian MaederDFOL/
109a53dbf4c9233f869f63ba7a7f3fece49973c3Christian MaederDMU/
109a53dbf4c9233f869f63ba7a7f3fece49973c3Christian MaederDriver.hs
109a53dbf4c9233f869f63ba7a7f3fece49973c3Christian MaederDriver/
109a53dbf4c9233f869f63ba7a7f3fece49973c3Christian MaederExtModal.hs
109a53dbf4c9233f869f63ba7a7f3fece49973c3Christian MaederExtModal/
109a53dbf4c9233f869f63ba7a7f3fece49973c3Christian MaederFpl/
109a53dbf4c9233f869f63ba7a7f3fece49973c3Christian MaederFramework.hs
109a53dbf4c9233f869f63ba7a7f3fece49973c3Christian MaederFramework/
109a53dbf4c9233f869f63ba7a7f3fece49973c3Christian MaederFreeCAD/
109a53dbf4c9233f869f63ba7a7f3fece49973c3Christian MaederGMP/
109a53dbf4c9233f869f63ba7a7f3fece49973c3Christian MaederGUI.hs
109a53dbf4c9233f869f63ba7a7f3fece49973c3Christian MaederGUI/
109a53dbf4c9233f869f63ba7a7f3fece49973c3Christian MaederHasCASL.hs
109a53dbf4c9233f869f63ba7a7f3fece49973c3Christian MaederHasCASL/
109a53dbf4c9233f869f63ba7a7f3fece49973c3Christian MaederHaskell.hs
bbba6dd86153aacb0f662b182b128df0eb09fd54Christian MaederHaskell/
109a53dbf4c9233f869f63ba7a7f3fece49973c3Christian MaederHets-Haddock-Prologue.txt
a461314c811f4187dff85c8be079a41b2f13f176Christian MaederHets.cabal
109a53dbf4c9233f869f63ba7a7f3fece49973c3Christian MaederHolLight/
b53688bfed888214b485cf76439d57262d80e0a7Christian MaederINSTALL
b53688bfed888214b485cf76439d57262d80e0a7Christian MaederInterfaces/
be43c3fa0292555bd126784ae27ff5c1d23438cbChristian MaederIsabelle.hs
b53688bfed888214b485cf76439d57262d80e0a7Christian MaederIsabelle/
16b71dad8d398af412d66a4f4763f1ada5b03d23Christian MaederLF/
f39b8dd9651dfcc38b06191cda23cacbfc298323Christian MaederLICENSE.txt
b53688bfed888214b485cf76439d57262d80e0a7Christian MaederLIZENZ.txt
7f7460e7095628f3437b116ee78d3043d11f8febChristian MaederLogic.hs
3a9d784341454573b50b32fa1b494e7418df3086Christian MaederLogic/
b53688bfed888214b485cf76439d57262d80e0a7Christian MaederMakefile
b53688bfed888214b485cf76439d57262d80e0a7Christian MaederMakefile.installer
9d6562465b41f17c7967d4e5678f34811d958cb2Christian MaederMaude/
b53688bfed888214b485cf76439d57262d80e0a7Christian MaederModal.hs
b53688bfed888214b485cf76439d57262d80e0a7Christian MaederModal/
be43c3fa0292555bd126784ae27ff5c1d23438cbChristian MaederModifications/
7f7460e7095628f3437b116ee78d3043d11f8febChristian MaederOMDoc.hs
16b71dad8d398af412d66a4f4763f1ada5b03d23Christian MaederOMDoc/
b53688bfed888214b485cf76439d57262d80e0a7Christian MaederOWL2.hs
b53688bfed888214b485cf76439d57262d80e0a7Christian MaederOWL2/
38c817b94e0a5b1ae94178b1075c187e07bcc5e1Christian MaederOmega/
38c817b94e0a5b1ae94178b1075c187e07bcc5e1Christian MaederPGIP/
38c817b94e0a5b1ae94178b1075c187e07bcc5e1Christian MaederProofs.hs
38c817b94e0a5b1ae94178b1075c187e07bcc5e1Christian MaederProofs/
b53688bfed888214b485cf76439d57262d80e0a7Christian MaederPropositional.hs
2353f65833a3da763392f771223250cd50b8d873Christian MaederPropositional/
b53688bfed888214b485cf76439d57262d80e0a7Christian MaederQBF/
b53688bfed888214b485cf76439d57262d80e0a7Christian MaederRDF/
00df6fd583c19393fa141d5a0e21ac74c7bf5b19Christian MaederREADME
cb2044812811d66efe038d914966e04290be93faChristian MaederREADME.installer
bc263f610d20a9cd3014ddfca903026127fa0d48Christian MaederRelationalScheme.hs
8c8545dd3bf34fbcbc16904b65d249658f8f9efcChristian MaederRelationalScheme/
b53688bfed888214b485cf76439d57262d80e0a7Christian MaederReleaseMakefile
d81905a5b924415c524d702df26204683c82c12eChristian MaederScratch.hs
b53688bfed888214b485cf76439d57262d80e0a7Christian MaederSoftFOL.hs
b53688bfed888214b485cf76439d57262d80e0a7Christian MaederSoftFOL/
b53688bfed888214b485cf76439d57262d80e0a7Christian MaederStatic.hs
b53688bfed888214b485cf76439d57262d80e0a7Christian MaederStatic/
b53688bfed888214b485cf76439d57262d80e0a7Christian MaederSyntax/
b53688bfed888214b485cf76439d57262d80e0a7Christian MaederTHF/
cb2044812811d66efe038d914966e04290be93faChristian MaederTaxonomy.hs
b53688bfed888214b485cf76439d57262d80e0a7Christian MaederTaxonomy/
b53688bfed888214b485cf76439d57262d80e0a7Christian MaederTemporal/
083bc1972a66d73749760eab3a90bf4eb9ca7951Christian MaederToHaskell/
0ae7a79e865d4a6022d705d160530682b3c1f825Christian MaederVSE/
00df6fd583c19393fa141d5a0e21ac74c7bf5b19Christian Maederatermlib/
083bc1972a66d73749760eab3a90bf4eb9ca7951Christian Maederbuild.xml
6352f3c31da3043783a13be6594aacb2147378baRazvan Pascanuclean.lst
fefee7e1dee1ee5f0768a03a4abae88d1ca2c3fdRazvan Pascanuclean.sh
b324cda6178c49ddeead3ce62b832ccf644cbcabRazvan Pascanudoc/
fefee7e1dee1ee5f0768a03a4abae88d1ca2c3fdRazvan Pascanuhets.hs
bc263f610d20a9cd3014ddfca903026127fa0d48Christian Maederhets.in
966519955f5f7111abac20118563132b9dd41165Christian Maederideas
8c8545dd3bf34fbcbc16904b65d249658f8f9efcChristian Maedermini/
b53688bfed888214b485cf76439d57262d80e0a7Christian Maederpretty/
33fcc19ef2b59493b4e91eebf701df95fd230765Christian Maederprogramatica
33fcc19ef2b59493b4e91eebf701df95fd230765Christian Maedersample-ghci-script
33fcc19ef2b59493b4e91eebf701df95fd230765Christian Maedertest/
8865728716566f42fa73e7e0bc080ba3225df764Christian Maedertodo
b53688bfed888214b485cf76439d57262d80e0a7Christian Maederutils/
b53688bfed888214b485cf76439d57262d80e0a7Christian Maedervar.mk
b53688bfed888214b485cf76439d57262d80e0a7Christian Maederversion_nr
b53688bfed888214b485cf76439d57262d80e0a7Christian Maeder