Symbol.hs revision 649fdc0d0502d62d160c150684356fef2c273484
22dd6d9af47163ee081d6c505d0a13dbf40ba87aChristian Maedertree 649fdc0d0502d62d160c150684356fef2c273484:
22dd6d9af47163ee081d6c505d0a13dbf40ba87aChristian Maeder
df098122ddc81fe1cb033a151f7305c1dda2dc81Christian Maeder.gitignore
b03274844ecd270f9e9331f51cc4236a33e2e671Christian Maeder.travis.yml
22dd6d9af47163ee081d6c505d0a13dbf40ba87aChristian MaederATC.hs
2eeec5240b424984e3ee26296da1eeab6c6d739eChristian MaederATC/
22dd6d9af47163ee081d6c505d0a13dbf40ba87aChristian MaederAdl/
22dd6d9af47163ee081d6c505d0a13dbf40ba87aChristian MaederCASL.hs
95c3e5d11dcee331dc3876a9bf0c1d6daa38e2caChristian MaederCASL/
e6d40133bc9f858308654afb1262b8b483ec5922Till MossakowskiCASL_DL.hs
679d3f541f7a9ede4079e045f7758873bb901872Till MossakowskiCASL_DL/
679d3f541f7a9ede4079e045f7758873bb901872Till MossakowskiCMDL.hs
1bb1684c83317dfd1692ab53415027b67d8f2faeTill MossakowskiCMDL/
95c3e5d11dcee331dc3876a9bf0c1d6daa38e2caChristian MaederCOL.hs
f3faf4e4346b6224a3aaeeac11bac8b5c8932a29Christian MaederCOL/
f3faf4e4346b6224a3aaeeac11bac8b5c8932a29Christian MaederCSL/
f3faf4e4346b6224a3aaeeac11bac8b5c8932a29Christian MaederCSMOF/
f3faf4e4346b6224a3aaeeac11bac8b5c8932a29Christian MaederCoCASL.hs
f3faf4e4346b6224a3aaeeac11bac8b5c8932a29Christian MaederCoCASL/
f3faf4e4346b6224a3aaeeac11bac8b5c8932a29Christian MaederCommon.hs
f3faf4e4346b6224a3aaeeac11bac8b5c8932a29Christian MaederCommon/
f3faf4e4346b6224a3aaeeac11bac8b5c8932a29Christian MaederCommonLogic/
95c3e5d11dcee331dc3876a9bf0c1d6daa38e2caChristian MaederComorphisms.hs
43b4c41fbb07705c9df321221ab9cb9832460407Christian MaederComorphisms/
ba904a15082557e939db689fcfba0c68c9a4f740Christian MaederConstraintCASL/
7bf4436b6f9987b070033a323757b206c898c1beChristian MaederCspCASL.hs
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiCspCASL/
ba904a15082557e939db689fcfba0c68c9a4f740Christian MaederCspCASLProver.hs
410ff490af511ffa09b52e4de631d36a154b9730Christian MaederCspCASLProver/
ba904a15082557e939db689fcfba0c68c9a4f740Christian MaederDFOL/
1842453990fed8a1bd7a5ac792d7982c1d2bfcd5Christian MaederDMU/
ba904a15082557e939db689fcfba0c68c9a4f740Christian MaederDriver.hs
ba904a15082557e939db689fcfba0c68c9a4f740Christian MaederDriver/
ba904a15082557e939db689fcfba0c68c9a4f740Christian MaederExtModal.hs
410ff490af511ffa09b52e4de631d36a154b9730Christian MaederExtModal/
ad270004874ce1d0697fb30d7309f180553bb315Christian MaederFpl/
ad270004874ce1d0697fb30d7309f180553bb315Christian MaederFramework.hs
88ece6e49930670e8fd3ee79c89a2e918d2fbd0cChristian MaederFramework/
6108a4c3e891e85e6b36a658382d7e78ad4ce9e7Christian MaederFreeCAD/
89ab08979dc23d72e9e09c8990a8c44847041d6fChristian MaederGMP/
410ff490af511ffa09b52e4de631d36a154b9730Christian MaederGUI.hs
410ff490af511ffa09b52e4de631d36a154b9730Christian MaederGUI/
22dd6d9af47163ee081d6c505d0a13dbf40ba87aChristian MaederHasCASL.hs
95c3e5d11dcee331dc3876a9bf0c1d6daa38e2caChristian MaederHasCASL/
a05cad7f2f387b795a71a3aaec543c78e1b89d38Christian MaederHaskell.hs
a05cad7f2f387b795a71a3aaec543c78e1b89d38Christian MaederHaskell/
a05cad7f2f387b795a71a3aaec543c78e1b89d38Christian MaederHets-Haddock-Prologue.txt
a05cad7f2f387b795a71a3aaec543c78e1b89d38Christian MaederHets.cabal
a05cad7f2f387b795a71a3aaec543c78e1b89d38Christian MaederHolLight/
a05cad7f2f387b795a71a3aaec543c78e1b89d38Christian MaederHybrid.hs
a05cad7f2f387b795a71a3aaec543c78e1b89d38Christian MaederHybrid/
a05cad7f2f387b795a71a3aaec543c78e1b89d38Christian MaederInterfaces/
a05cad7f2f387b795a71a3aaec543c78e1b89d38Christian MaederIsabelle.hs
a05cad7f2f387b795a71a3aaec543c78e1b89d38Christian MaederIsabelle/
a05cad7f2f387b795a71a3aaec543c78e1b89d38Christian MaederLF/
1b05bdb88b90d3c947351f262d7ae7d68f0a4a6fTill MossakowskiLICENSE.txt
1b05bdb88b90d3c947351f262d7ae7d68f0a4a6fTill MossakowskiLIZENZ.txt
1b05bdb88b90d3c947351f262d7ae7d68f0a4a6fTill MossakowskiLogic.hs
31c49f2fa23d4ac089f35145d80a224deb6ea7e4Till MossakowskiLogic/
2afae0880da7ca73c9376fd4d653ab19833fe858Christian MaederMMT.hs
2afae0880da7ca73c9376fd4d653ab19833fe858Christian MaederMMT/
2afae0880da7ca73c9376fd4d653ab19833fe858Christian MaederMakefile
97f7ac06b3cbf4fc22c0a9eef523b68ee34fc164Christian MaederMaude/
e24d81c69aecd41abb2f4969519c9e7126b1d687Christian MaederModal.hs
97f7ac06b3cbf4fc22c0a9eef523b68ee34fc164Christian MaederModal/
97f7ac06b3cbf4fc22c0a9eef523b68ee34fc164Christian MaederModifications/
97f7ac06b3cbf4fc22c0a9eef523b68ee34fc164Christian MaederOMDoc.hs
7297175957c5ad3c0498032190b1dee9ec5fb873Christian MaederOMDoc/
eca4db63ed0bdbd93b62678feea6e3eb80aa47bbChristian MaederOWL2.hs
a89e661aad28f1b39f4fc9f9f9a4d46074234123Christian MaederOWL2/
1b05bdb88b90d3c947351f262d7ae7d68f0a4a6fTill MossakowskiOmega/
89ab08979dc23d72e9e09c8990a8c44847041d6fChristian MaederPGIP/
1b05bdb88b90d3c947351f262d7ae7d68f0a4a6fTill MossakowskiPLpatt/
e899b993b4f642217274fda6f462fe1318ae3626Christian MaederPersistence/
2afae0880da7ca73c9376fd4d653ab19833fe858Christian MaederProofs.hs
2afae0880da7ca73c9376fd4d653ab19833fe858Christian MaederProofs/
2afae0880da7ca73c9376fd4d653ab19833fe858Christian MaederPropositional.hs
e6aa023e6cf2d2c6978114a70d8c3ba7b8b027e1Christian MaederPropositional/
97f7ac06b3cbf4fc22c0a9eef523b68ee34fc164Christian MaederQBF/
a980a2f16eda9aad70f1f53f9df713595f57cb78Jian Chun WangQVTR/
1c8c2b04b40b5c054da07b8d059e5ef29d4dbc32Christian MaederRDF/
edd35c6c970fa1707dc6ad7a3ba26119e0046223Cui JianREADME
1c8c2b04b40b5c054da07b8d059e5ef29d4dbc32Christian MaederREADME.md
a980a2f16eda9aad70f1f53f9df713595f57cb78Jian Chun WangRelationalScheme.hs
b5a5755f7d034f5ebc9f7f45e878c68695e139c4Thiemo WiedemeyerRelationalScheme/
b5a5755f7d034f5ebc9f7f45e878c68695e139c4Thiemo WiedemeyerScratch.hs
b5a5755f7d034f5ebc9f7f45e878c68695e139c4Thiemo WiedemeyerSoftFOL.hs
b5a5755f7d034f5ebc9f7f45e878c68695e139c4Thiemo WiedemeyerSoftFOL/
b5a5755f7d034f5ebc9f7f45e878c68695e139c4Thiemo WiedemeyerStatic.hs
95c3e5d11dcee331dc3876a9bf0c1d6daa38e2caChristian MaederStatic/
95c3e5d11dcee331dc3876a9bf0c1d6daa38e2caChristian MaederSyntax.hs
f69416aa2b00518744d25a93aefbdb778f399787Cui JianSyntax/
97f7ac06b3cbf4fc22c0a9eef523b68ee34fc164Christian MaederTHF/
2bb9a3bf532ca82f097e01da9ab9e06015c246afChristian MaederTPTP/
e899b993b4f642217274fda6f462fe1318ae3626Christian MaederTaxonomy.hs
e899b993b4f642217274fda6f462fe1318ae3626Christian MaederTaxonomy/
e899b993b4f642217274fda6f462fe1318ae3626Christian MaederTemporal/
df098122ddc81fe1cb033a151f7305c1dda2dc81Christian MaederToHaskell/
df098122ddc81fe1cb033a151f7305c1dda2dc81Christian MaederTopHybrid.hs
df098122ddc81fe1cb033a151f7305c1dda2dc81Christian MaederTopHybrid/
a05cad7f2f387b795a71a3aaec543c78e1b89d38Christian MaederVSE/
a05cad7f2f387b795a71a3aaec543c78e1b89d38Christian Maederatermlib/
df098122ddc81fe1cb033a151f7305c1dda2dc81Christian Maederdebian/
1c8c2b04b40b5c054da07b8d059e5ef29d4dbc32Christian Maederdoc/
df098122ddc81fe1cb033a151f7305c1dda2dc81Christian Maederhets.hs
df098122ddc81fe1cb033a151f7305c1dda2dc81Christian Maederideas
95c3e5d11dcee331dc3876a9bf0c1d6daa38e2caChristian Maedermagic/
c0380b947eef252db81ee562246bb732555427f4Till Mossakowskimini/
2afae0880da7ca73c9376fd4d653ab19833fe858Christian Maederpretty/
2afae0880da7ca73c9376fd4d653ab19833fe858Christian Maedersample-ghci-script
2afae0880da7ca73c9376fd4d653ab19833fe858Christian Maederstack.yaml
ff3bc28a09cff76d4d6cbe8914ab53d1e032d009Till Mossakowskitest/
95c3e5d11dcee331dc3876a9bf0c1d6daa38e2caChristian Maedertodo
22dd6d9af47163ee081d6c505d0a13dbf40ba87aChristian Maederutils/
22dd6d9af47163ee081d6c505d0a13dbf40ba87aChristian Maedervar.mk
a05cad7f2f387b795a71a3aaec543c78e1b89d38Christian Maeder