Cross Reference: /hets/Makefile

	Makefile revision 5203
tree 5203:

CASL2CoCASL.hs
CASL2CspCASL.hs
CASL2HasCASL.hs
CASL2Modal.hs
CASL2PCFOL.inline.hs
CASL2SubCFOL.inline.hs
CASL2TopSort.inline.hs
CASL2VSE.hs
CASL2VSEImport.hs
CASL2VSERefine.hs
CASL_DL2CASL.hs
CFOL2IsabelleHOL.hs
CoCASL2CoPCFOL.hs
CoCASL2CoSubCFOL.hs
CoCFOL2IsabelleHOL.hs
CspCASL2IsabelleHOL.hs
CspCASL2IsabelleHOL.txt
CspCASL2Modal.hs
DL2CASL_DL.hs
HasCASL2HasCASL.hs
HasCASL2Haskell.hs
HasCASL2IsabelleHOL.hs
HasCASL2PCoClTyConsHOL.hs
Haskell2IsabelleHOLCF.hs
HetLogicGraph.hs
Hs2HOLCF.hs
Hs2HOLCFaux.hs
KnownProvers.hs
LogicGraph.hs
LogicList.hs
Modal2CASL.inline.hs
OWL2CASL_DL.hs
OWL2DL.hs
PCoClTyConsHOL2IsabelleHOL.hs
PCoClTyConsHOL2PairsInIsaHOL.hs
PPolyTyConsHOL2IsaUtils.hs
Prop2CASL.hs
RelScheme2CASL.hs
SuleCFOL2SoftFOL.hs
test/