Changeset 11237 for trunk/CspCASL/Trans_CspProver.hs

Timestamp:

08.01.2009 17:14:32 (11 months ago)

Author:

maeder

Message:

changed var translation

Files:

• trunk/CspCASL/Trans_CspProver.hs (modified) (2 diffs)

trunk/CspCASL/Trans_CspProver.hs

@@ -16 +16 @@
 
 import qualified CASL.AS_Basic_CASL as CASL_AS_Basic_CASL
-import qualified CASL.Fold as CASL_Fold
+import CASL.Fold as CASL_Fold
 import qualified CASL.Sign as CASL_Sign
 
@@ -153 +153 @@
         strs = CFOL2IsabelleHOL.getAssumpsToks caslSign
     in CASL_Fold.foldTerm (CFOL2IsabelleHOL.transRecord
-                                           caslSign tyToks trForm strs) caslTerm
+                                           caslSign tyToks trForm strs)
+     { foldQual_var = \ _ v s _ -> termAppl (conDouble $ "choose_" ++ show s)
+                      $ mkFree $ CFOL2IsabelleHOL.transVar strs v }
+     caslTerm