Makefile revision 0be0db405c49906bd7057255069bf6df53395ac9
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroedertree 0be0db405c49906bd7057255069bf6df53395ac9:
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederATC.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederATC/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederCASL.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederCASL/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederCASL_DL.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederCASL_DL/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederCOL.hs
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederCOL/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederCoCASL.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederCoCASL/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederCommon.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederCommon/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederComorphisms.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederComorphisms/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederConstraintCASL/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederCspCASL.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederCspCASL/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederDriver.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederDriver/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederGUI.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederGUI/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederHasCASL.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederHasCASL/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederHaskell.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederHaskell/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederHatchet/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederHets-Haddock-Prologue.txt
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederINSTALL
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederIsabelle.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederIsabelle/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederLICENCE.txt
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederLICENSE.txt
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederLIZENZ.txt
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederLogic.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederLogic/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederLottery/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederMakefile
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederModal.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederModal/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederOWL_DL.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederOWL_DL/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederProofs.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederProofs/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederREADME
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederReleaseMakefile
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederSPASS.hs
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederSPASS/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederStatic.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederStatic/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederSyntax/
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederTaxonomy.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederTaxonomy/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederTest.hs
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederToHaskell/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroederclean.lst
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroederclean.sh
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroedercvs-howto
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroederdoc/
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroederfgl/
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroederhets.hs
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroederhxt/
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroederideas
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroedermini/
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroedertest/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroedertodo
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroederutils/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroederversion_nr
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder