Makefile revision f1a913f880e409e7327b5deae95738b5448379a1
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedertree f1a913f880e409e7327b5deae95738b5448379a1:
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder
1a6464613c59e35072b90ca296ae402cbe956144Christian 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
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCOL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCSL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCoCASL.hs
b9625461755578f3eed04676d42a63fd2caebd0cChristian MaederCoCASL/
b9625461755578f3eed04676d42a63fd2caebd0cChristian MaederCommon.hs
09a67ca9b5cdf09e06470d4c965484783e2963f4Christian MaederCommon/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCommonLogic/
88c800932dd7053322501ea2039d9f234be6866cKlaus LuettichComorphisms.hs
88c800932dd7053322501ea2039d9f234be6866cKlaus LuettichComorphisms/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederConstraintCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederConstraints/
d67a33b40578beef2e255a274f89bb9c34aaf056Christian MaederCspCASL.hs
88c800932dd7053322501ea2039d9f234be6866cKlaus LuettichCspCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCspCASLProver.hs
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersCspCASLProver/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederDFOL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederDMU/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederDriver.hs
caf544dc9b8f02e05e37786681153f5660e67f64Martin KühlDriver/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederExtModal.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederExtModal/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederFramework/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederGMP/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederGUI.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederGUI/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHasCASL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHasCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHaskell.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHaskell/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHets-Haddock-Prologue.txt
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHets.cabal
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersINSTALL
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederInterfaces/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederIsabelle.hs
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersIsabelle/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLF/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLICENSE.txt
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLIZENZ.txt
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLogic.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLogic/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLottery/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederMakefile
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederMakefile.installer
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederMaude/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersModal.hs
ebe517300051f765f2ed856a789dd5613d681ab0Klaus LuettichModal/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersModifications/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederOMDoc.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederOMDoc/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederOWL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederOWL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederOmega/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederPGIP/
ebe517300051f765f2ed856a789dd5613d681ab0Klaus LuettichProofs.hs
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersProofs/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersPropositional.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederPropositional/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederQBF/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederREADME
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederREADME.installer
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersRelationalScheme.hs
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersRelationalScheme/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersReleaseMakefile
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersSearch/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersSoftFOL.hs
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersSoftFOL/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersStatic.hs
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersStatic/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersSyntax/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersTaxonomy.hs
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersTaxonomy/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersTemporal/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersTest.hs
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersToHaskell/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersVSE/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckersatermlib/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckersbuild.xml
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederclean.lst
b49276c9f50038e0bd499ad49f7bd6444566a834Christian Maederclean.sh
b49276c9f50038e0bd499ad49f7bd6444566a834Christian Maederdoc/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederheader_warning.log
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederhets.hs
0e012772df2ce0dc7e8f0fe3acf458c2871dcfbcChristian Maederhets.in
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederideas
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedermini/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederpretty/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederprogramatica
ba0ec5e897ef99d420c8c14c2374e0f32b7043dbKlaus Luettichsample-ghci-script
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckerstest/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedertodo
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederutils/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckersvar.mk
b49276c9f50038e0bd499ad49f7bd6444566a834Christian Maederversion_nr
88c800932dd7053322501ea2039d9f234be6866cKlaus Luettich