hets/debian/common.py

	common.py revision 3455
tree 3455:

Adl2CASL.hs
CASL2CoCASL.hs
CASL2CspCASL.hs
CASL2HasCASL.hs
CASL2Modal.hs
CASL2PCFOL.hs
CASL2Prop.hs
CASL2SubCFOL.hs
CASL2TopSort.hs
CASL2VSE.hs
CASL2VSEImport.hs
CASL2VSERefine.hs
CASL_DL2CASL.hs
CFOL2IsabelleHOL.hs
CoCASL2CoPCFOL.hs
CoCASL2CoSubCFOL.hs
CoCFOL2IsabelleHOL.hs
CommonLogic2CASL.hs
CspCASL2IsabelleHOL.txt
CspCASL2Modal.hs
DFOL2CASL.hs
DMU2OWL.hs
DynLogicList.hs
GetPreludeLib.hs
HasCASL2HasCASL.hs
HasCASL2Haskell.hs
HasCASL2IsabelleHOL.hs
HasCASL2PCoClTyConsHOL.hs
Haskell2IsabelleHOLCF.hs
HetLogicGraph.hs
HolLight2Isabelle.hs
Hs2HOLCF.hs
Hs2HOLCFaux.hs
KnownProvers.hs
LogicGraph.hs
LogicList.hs
Maude2CASL.hs
Modal2CASL.inline.hs
MonadicHasCASLTranslation.hs
OWL2CASL.hs
OWL2CommonLogic.hs
PCoClTyConsHOL2IsabelleHOL.hs
PCoClTyConsHOL2PairsInIsaHOL.hs
PPolyTyConsHOL2IsaUtils.hs
Prop2CASL.hs
Prop2QBF.hs
QBF2Prop.hs
RelScheme2CASL.hs
SuleCFOL2SoftFOL.hs
test/