Makefile revision df5eb1b8e587946c9d072f4ee6ac7d001719b034
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroedertree df5eb1b8e587946c9d072f4ee6ac7d001719b034:
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederATC.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederATC/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederAdl/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederCASL.hs
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederCASL/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederCASL_DL.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederCASL_DL/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederCMDL.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederCMDL/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederCOL.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederCOL/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederCSL/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederCoCASL.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederCoCASL/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederCommon.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederCommon/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederCommonLogic/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederComorphisms.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederComorphisms/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederConstraintCASL/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederConstraints/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederCspCASL.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederCspCASL/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederCspCASLProver.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederCspCASLProver/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederDFOL/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederDMU/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederDriver.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederDriver/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederExtModal.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederExtModal/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederFramework/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederGMP/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederGUI.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederGUI/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederHasCASL.hs
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederHasCASL/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederHaskell.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederHaskell/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederHets-Haddock-Prologue.txt
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederHets.cabal
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederHolLight/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederINSTALL
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederInterfaces/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederIsabelle.hs
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederIsabelle/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederLF/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederLICENSE.txt
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederLIZENZ.txt
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederLogic.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederLogic/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederLottery/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederMakefile
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederMakefile.installer
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederMaude/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederModal.hs
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederModal/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederModifications/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederOMDoc.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederOMDoc/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederOWL.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederOWL/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederOmega/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederPGIP/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederProofs.hs
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederProofs/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederPropositional.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederPropositional/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederQBF/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederREADME
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederREADME.installer
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederRelationalScheme.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederRelationalScheme/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederReleaseMakefile
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederSearch/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederSoftFOL.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederSoftFOL/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederStatic.hs
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederStatic/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederSyntax/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederTaxonomy.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederTaxonomy/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederTemporal/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederTest.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederToHaskell/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederVSE/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroederatermlib/
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroederbuild.xml
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroederclean.lst
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroederclean.sh
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroederdoc/
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroederheader_warning.log
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroederhets.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroederhets.in
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroederideas
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroedermini/
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroederpretty/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroederprogramatica
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroedersample-ghci-script
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroedertest/
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroedertodo
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroederutils/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroedervar.mk
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroederversion_nr
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder