hets.magic revision e3c8dbdc6f92b4d33c255a03e392a37ac43f0e56
f799084b320209cdd71a29e74fff1be054c1d342Christian Maedertree e3c8dbdc6f92b4d33c255a03e392a37ac43f0e56:
f799084b320209cdd71a29e74fff1be054c1d342Christian Maeder
7895bc4f90d3ea250877c02a897f5dcca4590a89Christian Maeder.gitignore
f799084b320209cdd71a29e74fff1be054c1d342Christian Maeder.travis.yml
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu ProdescuATC.hs
f799084b320209cdd71a29e74fff1be054c1d342Christian MaederATC/
3f69b6948966979163bdfe8331c38833d5d90ecdChristian MaederAdl/
f799084b320209cdd71a29e74fff1be054c1d342Christian MaederCASL.hs
f799084b320209cdd71a29e74fff1be054c1d342Christian MaederCASL/
f799084b320209cdd71a29e74fff1be054c1d342Christian MaederCASL_DL.hs
e6d40133bc9f858308654afb1262b8b483ec5922Till MossakowskiCASL_DL/
f799084b320209cdd71a29e74fff1be054c1d342Christian MaederCMDL.hs
f799084b320209cdd71a29e74fff1be054c1d342Christian MaederCMDL/
8adae8b1eb0dd8562f0d1541b9ecb2fd80bda7e7Christian MaederCOL.hs
8adae8b1eb0dd8562f0d1541b9ecb2fd80bda7e7Christian MaederCOL/
8adae8b1eb0dd8562f0d1541b9ecb2fd80bda7e7Christian MaederCSL/
8adae8b1eb0dd8562f0d1541b9ecb2fd80bda7e7Christian MaederCSMOF/
8adae8b1eb0dd8562f0d1541b9ecb2fd80bda7e7Christian MaederCoCASL.hs
ab0274ab68a174d3e92235b4c4ca865c03901583Christian MaederCoCASL/
8adae8b1eb0dd8562f0d1541b9ecb2fd80bda7e7Christian MaederCommon.hs
9ba43c9323dc1a4bb1e684d87370b43468ab9096Christian MaederCommon/
cbe26e1cedf1e305b077afa82cb5f46850cdb8b1Christian MaederCommonLogic/
21095d13d876edd444df223f34d14efa85ba58c1Christian MaederComorphisms.hs
b65890a7645b96eb0d5c334c81ba9dca86d556bfChristian MaederComorphisms/
62d5dbbceb675837039e6bad0971c324cce96a21Mihai CodescuConstraintCASL/
62d5dbbceb675837039e6bad0971c324cce96a21Mihai CodescuCspCASL.hs
7d6fdc539541f38639e20b45bba29e39bd201c3fChristian MaederCspCASL/
7d6fdc539541f38639e20b45bba29e39bd201c3fChristian MaederCspCASLProver.hs
3b5d1e9f95905d6595b3bb01b54499a37a3d82acChristian MaederCspCASLProver/
941254a2daaf605bda18be25358f4e1322e94ec9Christian MaederDFOL/
434c11a96bc623ebd5b60781efabef319bb15b0eChristian MaederDMU/
7d6fdc539541f38639e20b45bba29e39bd201c3fChristian MaederDriver.hs
7d6fdc539541f38639e20b45bba29e39bd201c3fChristian MaederDriver/
7d6fdc539541f38639e20b45bba29e39bd201c3fChristian MaederExtModal.hs
0d72630889db51ffe7a0336cbb7fde5dbe415e9dEwaryst SchulzExtModal/
7447e9fcbe38c1d04effa0df67f49240bd9963d6Liam O'ReillyFpl/
0d72630889db51ffe7a0336cbb7fde5dbe415e9dEwaryst SchulzFramework.hs
3b5d1e9f95905d6595b3bb01b54499a37a3d82acChristian MaederFramework/
ccd28c25c1aee73a195053e677eca17e20917d84Christian MaederFreeCAD/
b2542911be8b16ffb988c3abe09ee63be98e119fChristian MaederGMP/
8adae8b1eb0dd8562f0d1541b9ecb2fd80bda7e7Christian MaederGUI.hs
f799084b320209cdd71a29e74fff1be054c1d342Christian MaederGUI/
f799084b320209cdd71a29e74fff1be054c1d342Christian MaederHasCASL.hs
f799084b320209cdd71a29e74fff1be054c1d342Christian MaederHasCASL/
3ab1e7a18f3fc3eb004464bc54b7df4483f1f060Christian MaederHaskell.hs
c438c79d00fc438f99627e612498744bdc0d0c89Christian MaederHaskell/
5be2fb5bcfaa6abbb6043d679a1d536b4878b789Jian Chun WangHets-Haddock-Prologue.txt
5be2fb5bcfaa6abbb6043d679a1d536b4878b789Jian Chun WangHets.cabal
f799084b320209cdd71a29e74fff1be054c1d342Christian MaederHolLight/
f799084b320209cdd71a29e74fff1be054c1d342Christian MaederHybrid.hs
f799084b320209cdd71a29e74fff1be054c1d342Christian MaederHybrid/
ccd28c25c1aee73a195053e677eca17e20917d84Christian MaederINSTALL
ccd28c25c1aee73a195053e677eca17e20917d84Christian MaederInterfaces/
8c4c53f1d84490c7eac208905e92964c6508c1d6Christian MaederIsabelle.hs
ccd28c25c1aee73a195053e677eca17e20917d84Christian MaederIsabelle/
1aee531e3fe5a94300ddc7933c1983a38a76316eChristian MaederLF/
ccd28c25c1aee73a195053e677eca17e20917d84Christian MaederLICENSE.txt
5be2fb5bcfaa6abbb6043d679a1d536b4878b789Jian Chun WangLIZENZ.txt
ccd28c25c1aee73a195053e677eca17e20917d84Christian MaederLogic.hs
5be2fb5bcfaa6abbb6043d679a1d536b4878b789Jian Chun WangLogic/
ccd28c25c1aee73a195053e677eca17e20917d84Christian MaederMMT.hs
ccd28c25c1aee73a195053e677eca17e20917d84Christian MaederMMT/
8c4c53f1d84490c7eac208905e92964c6508c1d6Christian MaederMakefile
c7f5076658d72ea340d7fd8a648908f961af682dChristian MaederMakefile.installer
c7f5076658d72ea340d7fd8a648908f961af682dChristian MaederMaude/
c7f5076658d72ea340d7fd8a648908f961af682dChristian MaederModal.hs
9ba43c9323dc1a4bb1e684d87370b43468ab9096Christian MaederModal/
c7f5076658d72ea340d7fd8a648908f961af682dChristian MaederModifications/
ccd28c25c1aee73a195053e677eca17e20917d84Christian MaederOMDoc.hs
1aee531e3fe5a94300ddc7933c1983a38a76316eChristian MaederOMDoc/
ccd28c25c1aee73a195053e677eca17e20917d84Christian MaederOWL2.hs
ccd28c25c1aee73a195053e677eca17e20917d84Christian MaederOWL2/
c7f5076658d72ea340d7fd8a648908f961af682dChristian MaederOmega/
c7f5076658d72ea340d7fd8a648908f961af682dChristian MaederPGIP/
5be2fb5bcfaa6abbb6043d679a1d536b4878b789Jian Chun WangPLpatt/
c7f5076658d72ea340d7fd8a648908f961af682dChristian MaederProofs.hs
eab576044505ba1fbc64610323053490fbd9e82cChristian MaederProofs/
eab576044505ba1fbc64610323053490fbd9e82cChristian MaederPropositional.hs
c7f5076658d72ea340d7fd8a648908f961af682dChristian MaederPropositional/
eab576044505ba1fbc64610323053490fbd9e82cChristian MaederQBF/
eab576044505ba1fbc64610323053490fbd9e82cChristian MaederQVTR/
ccd28c25c1aee73a195053e677eca17e20917d84Christian MaederRDF/
941254a2daaf605bda18be25358f4e1322e94ec9Christian MaederREADME
b65890a7645b96eb0d5c334c81ba9dca86d556bfChristian MaederREADME.installer
941254a2daaf605bda18be25358f4e1322e94ec9Christian MaederREADME.md
ccd28c25c1aee73a195053e677eca17e20917d84Christian MaederRelationalScheme.hs
ccd28c25c1aee73a195053e677eca17e20917d84Christian MaederRelationalScheme/
5be2fb5bcfaa6abbb6043d679a1d536b4878b789Jian Chun WangReleaseMakefile
5be2fb5bcfaa6abbb6043d679a1d536b4878b789Jian Chun WangScratch.hs
ccd28c25c1aee73a195053e677eca17e20917d84Christian MaederSoftFOL.hs
ccd28c25c1aee73a195053e677eca17e20917d84Christian MaederSoftFOL/
842a6d146e8d1023c9cc54e9064ae93be2daf831Christian MaederStatic.hs
ccd28c25c1aee73a195053e677eca17e20917d84Christian MaederStatic/
842a6d146e8d1023c9cc54e9064ae93be2daf831Christian MaederSyntax.hs
a571b691ac0da91a895c33f250509622004dcf03Christian MaederSyntax/
5be2fb5bcfaa6abbb6043d679a1d536b4878b789Jian Chun WangTHF/
ccd28c25c1aee73a195053e677eca17e20917d84Christian MaederTaxonomy.hs
ccd28c25c1aee73a195053e677eca17e20917d84Christian MaederTaxonomy/
5be2fb5bcfaa6abbb6043d679a1d536b4878b789Jian Chun WangTemporal/
ccd28c25c1aee73a195053e677eca17e20917d84Christian MaederToHaskell/
ccd28c25c1aee73a195053e677eca17e20917d84Christian MaederTopHybrid.hs
4d4ec273e5cb1f17985c6edcf90a295a8b612cefChristian MaederTopHybrid/
4d4ec273e5cb1f17985c6edcf90a295a8b612cefChristian MaederUbuntuMakefile
4d4ec273e5cb1f17985c6edcf90a295a8b612cefChristian MaederVSE/
ccd28c25c1aee73a195053e677eca17e20917d84Christian Maederatermlib/
b65890a7645b96eb0d5c334c81ba9dca86d556bfChristian Maederbuild.xml
ccd28c25c1aee73a195053e677eca17e20917d84Christian Maederclean.lst
4674b607529c8eab497240da6da1ef9ae786611cChristian Maederclean.sh
4674b607529c8eab497240da6da1ef9ae786611cChristian Maederdoc/
a571b691ac0da91a895c33f250509622004dcf03Christian Maederhets.hs
842a6d146e8d1023c9cc54e9064ae93be2daf831Christian Maederhets.in
a571b691ac0da91a895c33f250509622004dcf03Christian Maederideas
4674b607529c8eab497240da6da1ef9ae786611cChristian Maedermagic/
842a6d146e8d1023c9cc54e9064ae93be2daf831Christian Maedermini/
eab576044505ba1fbc64610323053490fbd9e82cChristian Maederpretty/
ccd28c25c1aee73a195053e677eca17e20917d84Christian Maederprogramatica
4674b607529c8eab497240da6da1ef9ae786611cChristian Maedersample-ghci-script
842a6d146e8d1023c9cc54e9064ae93be2daf831Christian Maedertest/
4674b607529c8eab497240da6da1ef9ae786611cChristian Maedertodo
842a6d146e8d1023c9cc54e9064ae93be2daf831Christian Maederutils/
c7f5076658d72ea340d7fd8a648908f961af682dChristian Maedervar.mk
5be2fb5bcfaa6abbb6043d679a1d536b4878b789Jian Chun Wangversion_nr
8c4c53f1d84490c7eac208905e92964c6508c1d6Christian Maeder