Changeset 11422

Timestamp:

23.02.2009 15:50:44 (9 months ago)

Author:

csliam

Message:

Removed the comorphism CspCASL2Isabelle and supporting files. The comorphism has been moved to the prover CspCASLProver which is a better "fit" for our system

Location:

trunk

Files:

• Comorphisms/CspCASL2IsabelleHOL.hs (deleted)
• Comorphisms/LogicGraph.hs (modified) (2 diffs)
• CspCASL/Trans_Consts.hs (deleted)
• CspCASL/Trans_CspProver.hs (deleted)

trunk/Comorphisms/LogicGraph.hs

@@ -78 +78 @@
 import Comorphisms.CASL2CspCASL
 import Comorphisms.CspCASL2Modal
-import Comorphisms.CspCASL2IsabelleHOL
 import CspCASL.Comorphisms
 import Comorphisms.CASL_DL2CASL
@@ -127 +126 @@
     , Comorphism CASL2CspCASL
     , Comorphism CspCASL2Modal
-    , Comorphism CspCASL2IsabelleHOL
     , Comorphism cspCASLTrace
     , Comorphism cspCASLFailure