Changeset 11215 for trunk/Comorphisms/CFOL2IsabelleHOL.hs

Timestamp:

05.01.2009 15:46:06 (14 months ago)

Author:

csliam

Message:

Large commit - improved static analysis of cspcasl and translation of cspcasl to isabelle

Files:

• trunk/Comorphisms/CFOL2IsabelleHOL.hs (modified) (1 diff)

trunk/Comorphisms/CFOL2IsabelleHOL.hs

@@ -20 +20 @@
     , SignTranslator
     , FormulaTranslator
+    , getAssumpsToks
+    , formTrCASL
     , quantifyIsa
     , quantify
     , transSort
+    , transRecord
     , transOP_SYMB
     ) where