Makefile revision fa8878c6145f652f615a04a5e9c15a1d1327bc92
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedertree fa8878c6145f652f615a04a5e9c15a1d1327bc92:
1a6464613c59e35072b90ca296ae402cbe956144Christian Maeder
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder.gitignore
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder.travis.yml
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederATC.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederATC/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederAdl/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL_DL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL_DL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCMDL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCMDL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCOL.hs
b9625461755578f3eed04676d42a63fd2caebd0cChristian MaederCOL/
b9625461755578f3eed04676d42a63fd2caebd0cChristian MaederCSL/
09a67ca9b5cdf09e06470d4c965484783e2963f4Christian MaederCSMOF/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCoCASL.hs
88c800932dd7053322501ea2039d9f234be6866cKlaus LuettichCoCASL/
88c800932dd7053322501ea2039d9f234be6866cKlaus LuettichCommon.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCommon/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCommonLogic/
d67a33b40578beef2e255a274f89bb9c34aaf056Christian MaederComorphisms.hs
88c800932dd7053322501ea2039d9f234be6866cKlaus LuettichComorphisms/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederConstraintCASL/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersCspCASL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCspCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCspCASLProver.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCspCASLProver/
caf544dc9b8f02e05e37786681153f5660e67f64Martin KühlDFOL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederDMU/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederDriver.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederDriver/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederExtModal.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederExtModal/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederFpl/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederFramework.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederFramework/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederFreeCAD/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederGMP/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederGUI.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederGUI/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersHasCASL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHasCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHaskell.hs
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersHaskell/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHets-Haddock-Prologue.txt
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHets.cabal
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHolLight/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHybrid.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHybrid/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederINSTALL
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederInterfaces/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederIsabelle.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederIsabelle/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersLF/
ebe517300051f765f2ed856a789dd5613d681ab0Klaus LuettichLICENSE.txt
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersLIZENZ.txt
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLogic.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLogic/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederMMT.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederMMT/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederMakefile
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederMakefile.installer
ebe517300051f765f2ed856a789dd5613d681ab0Klaus LuettichMaude/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersModal.hs
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersModal/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederModifications/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederOMDoc.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederOMDoc/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederOWL2.hs
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersOWL2/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersOmega/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersPGIP/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersPLpatt/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersProofs.hs
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersProofs/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersPropositional.hs
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersPropositional/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersQBF/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersQVTR/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersRDF/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersREADME
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersREADME.installer
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersREADME.md
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersRelationalScheme.hs
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersRelationalScheme/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersReleaseMakefile
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederScratch.hs
b49276c9f50038e0bd499ad49f7bd6444566a834Christian MaederSoftFOL.hs
b49276c9f50038e0bd499ad49f7bd6444566a834Christian MaederSoftFOL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederStatic.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederStatic/
0e012772df2ce0dc7e8f0fe3acf458c2871dcfbcChristian MaederSyntax.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederSyntax/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederTHF/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederTaxonomy.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederTaxonomy/
ba0ec5e897ef99d420c8c14c2374e0f32b7043dbKlaus LuettichTemporal/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersToHaskell/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederTopHybrid.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederTopHybrid/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersUbuntuMakefile
b49276c9f50038e0bd499ad49f7bd6444566a834Christian MaederVSE/
88c800932dd7053322501ea2039d9f234be6866cKlaus Luettichatermlib/
b49276c9f50038e0bd499ad49f7bd6444566a834Christian Maederbuild.xml
b49276c9f50038e0bd499ad49f7bd6444566a834Christian Maederclean.lst
b49276c9f50038e0bd499ad49f7bd6444566a834Christian Maederclean.sh
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederdoc/
b49276c9f50038e0bd499ad49f7bd6444566a834Christian Maederhets.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederhets.in
b49276c9f50038e0bd499ad49f7bd6444566a834Christian Maederideas
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedermagic/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedermini/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederpretty/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederprogramatica
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedersample-ghci-script
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedertest/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedertodo
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederutils/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedervar.mk
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederversion_nr
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder