ATC_QVTR.der.hs revision d62661e54e2662d53b583ae48609f5037701078d
43b4c41fbb07705c9df321221ab9cb9832460407Christian Maedertree d62661e54e2662d53b583ae48609f5037701078d:
c63ebf815c8a874525cf18670ad74847f7fc7b26Christian Maeder
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder.gitignore
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder.travis.yml
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederATC.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederATC/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederAdl/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL.hs
43b4c41fbb07705c9df321221ab9cb9832460407Christian MaederCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL_DL.hs
f4a2a20e49f41b2afa657e5e64d9e349c7faa091Christian MaederCASL_DL/
f2f9df2e17e70674f0bf426ed1763c973ee4cde0Christian MaederCMDL.hs
c9a7e6af169a2adfb92f42331cd578065ed83a2bChristian MaederCMDL/
c9a7e6af169a2adfb92f42331cd578065ed83a2bChristian MaederCOL.hs
e7757995211bd395dc79d26fe017d99375f7d2a6Christian MaederCOL/
e7757995211bd395dc79d26fe017d99375f7d2a6Christian MaederCSL/
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederCSMOF/
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederCoCASL.hs
a1ed34933c266ce85066acb0d7b20c90cb8eb213Christian MaederCoCASL/
c0c2380bced8159ff0297ece14eba948bd236471Christian MaederCommon.hs
404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus LuettichCommon/
b1f59a4ea7c96f4c03a4d7cfcb9c5e66871cfbbbChristian MaederCommonLogic/
ad270004874ce1d0697fb30d7309f180553bb315Christian MaederComorphisms.hs
404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus LuettichComorphisms/
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederConstraintCASL/
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian MaederCspCASL.hs
3e8b136f23ed57d40ee617f49bcac37830b58cabChristian MaederCspCASL/
ef9e8535c168d3f774d9e74368a2317a9eda5826Christian MaederCspCASLProver.hs
bab2d88d650448628730ed3b65c9f99c52500e8cChristian MaederCspCASLProver/
3e8b136f23ed57d40ee617f49bcac37830b58cabChristian MaederDFOL/
ef9e8535c168d3f774d9e74368a2317a9eda5826Christian MaederDMU/
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederDriver.hs
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederDriver/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederExtModal.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederExtModal/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederFpl/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederFramework.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederFramework/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederFreeCAD/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederGMP/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederGUI.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederGUI/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederHasCASL.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederHasCASL/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederHaskell.hs
825a1e4ca1e768de4b4883c65a6cb1dce6aa0002Christian MaederHaskell/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederHets-Haddock-Prologue.txt
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian MaederHets.cabal
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian MaederHolLight/
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian MaederHybrid.hs
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian MaederHybrid/
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian MaederINSTALL
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian MaederInterfaces/
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederIsabelle.hs
d54cd08a4cfa26256c38d8ed12c343adbfe1a0e3Christian MaederIsabelle/
308834907a120fd8771e18292ed2ca9cd767c12dChristian MaederLF/
bab2d88d650448628730ed3b65c9f99c52500e8cChristian MaederLICENSE.txt
1f9274bb2aa44ea236327814dce99946be52e348Felix Gabriel ManceLIZENZ.txt
8cacad2a09782249243b80985f28e9387019fe40Christian MaederLogic.hs
6a2dad705deefd1b7a7e09b84fd2d75f2213be47Christian MaederLogic/
a7c27282e71cf4505026645f96d4f5cb8a284e32Christian MaederMMT.hs
363939beade943a02b31004cea09dec34fa8a6d9Christian MaederMMT/
014dc30f64ec25e4790cca987d4d1e6635430510Christian MaederMakefile
f04e8f3ff56405901be968fd4c6e9769239f1a9bKlaus LuettichMakefile.installer
6aea82c63ba1d2efc0329bc784a14e521469ec20Christian MaederMaude/
4ba08bfca0cc8d9da65397b8dfd2654fdb4c0e62Christian MaederModal.hs
feca1d35123d8c31aee238c9ce79947b0bf65494Christian MaederModal/
431d34c7007a787331c4e5ec997badb0f8190fc7Christian MaederModifications/
f1541d4a151dbd08002dbd14e7eb1d5dde253689Christian MaederOMDoc.hs
f5c0884429b01e74c6e658ded921fb2e16dfb478Christian MaederOMDoc/
db675e8302ddb0d6528088ce68f5e98a00e890e3Christian MaederOWL2.hs
f1541d4a151dbd08002dbd14e7eb1d5dde253689Christian MaederOWL2/
6dc9bc98d0854fe2e3dd3bfc4275096a0c28ee1cChristian MaederOmega/
6dc9bc98d0854fe2e3dd3bfc4275096a0c28ee1cChristian MaederPGIP/
6dc9bc98d0854fe2e3dd3bfc4275096a0c28ee1cChristian MaederPLpatt/
23ffcc44ca8612feccbd8fda63fa5be7ab5f9dc3Christian MaederProofs.hs
61fa0ac06ede811c7aad54ec4c4202346727368eChristian MaederProofs/
c0c2380bced8159ff0297ece14eba948bd236471Christian MaederPropositional.hs
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederPropositional/
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederQBF/
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederQVTR/
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederRDF/
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederREADME
9e748851c150e1022fb952bab3315e869aaf0214Christian MaederREADME.installer
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian MaederREADME.md
ca074a78b8dcccbb8c419586787882f98d0c6163Christian MaederRelationalScheme.hs
a3c6d8e0670bf2aa71bc8e2a3b1f45d56dd65e4cChristian MaederRelationalScheme/
dc679edd4ca027663212afdf00926ae2ce19b555Christian MaederReleaseMakefile
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederScratch.hs
ca074a78b8dcccbb8c419586787882f98d0c6163Christian MaederSoftFOL.hs
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederSoftFOL/
ca074a78b8dcccbb8c419586787882f98d0c6163Christian MaederStatic.hs
ca074a78b8dcccbb8c419586787882f98d0c6163Christian MaederStatic/
ca074a78b8dcccbb8c419586787882f98d0c6163Christian MaederSyntax.hs
4017ebc0f692820736d796af3110c3b3018c108aChristian MaederSyntax/
b568982efd0997d877286faa592d81b03c8c67b8Christian MaederTHF/
ca074a78b8dcccbb8c419586787882f98d0c6163Christian MaederTaxonomy.hs
0be0db405c49906bd7057255069bf6df53395ac9Klaus LuettichTaxonomy/
ca074a78b8dcccbb8c419586787882f98d0c6163Christian MaederTemporal/
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederToHaskell/
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederTopHybrid.hs
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederTopHybrid/
f2f9df2e17e70674f0bf426ed1763c973ee4cde0Christian MaederUbuntuMakefile
d946c1bfdd7d58aa7c023efe864d5999eb44a61bChristian MaederVSE/
d946c1bfdd7d58aa7c023efe864d5999eb44a61bChristian Maederatermlib/
d946c1bfdd7d58aa7c023efe864d5999eb44a61bChristian Maederbuild.xml
d946c1bfdd7d58aa7c023efe864d5999eb44a61bChristian Maederclean.lst
d946c1bfdd7d58aa7c023efe864d5999eb44a61bChristian Maederclean.sh
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederdoc/
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maederhets.hs
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederhets.in
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederideas
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maedermagic/
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maedermini/
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederpretty/
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederprogramatica
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maedersample-ghci-script
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maedertest/
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maedertodo
3e8b136f23ed57d40ee617f49bcac37830b58cabChristian Maederutils/
f1541d4a151dbd08002dbd14e7eb1d5dde253689Christian Maedervar.mk
6dc9bc98d0854fe2e3dd3bfc4275096a0c28ee1cChristian Maederversion_nr
d946c1bfdd7d58aa7c023efe864d5999eb44a61bChristian Maeder