Changeset 11237 for trunk/Comorphisms/CFOL2IsabelleHOL.hs

Timestamp:

08.01.2009 17:14:32 (11 months ago)

Author:

maeder

Message:

changed var translation

Files:

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

trunk/Comorphisms/CFOL2IsabelleHOL.hs

@@ -15 +15 @@
     ( CFOL2IsabelleHOL(..)
     , transTheory
+    , transVar
     , typeToks
     , mapSen