src/HOL/Bali/Value.thy
changeset 35431 8758fe1fc9f8
parent 35069 09154b995ed8
child 37956 ee939247b2fb
     1.1 --- a/src/HOL/Bali/Value.thy	Wed Mar 03 00:32:14 2010 +0100
     1.2 +++ b/src/HOL/Bali/Value.thy	Wed Mar 03 00:33:02 2010 +0100
     1.3 @@ -17,9 +17,6 @@
     1.4          | Addr loc      --{* addresses, i.e. locations of objects *}
     1.5  
     1.6  
     1.7 -translations "val" <= (type) "Term.val"
     1.8 -             "loc" <= (type) "Term.loc"
     1.9 -
    1.10  consts   the_Bool   :: "val \<Rightarrow> bool"  
    1.11  primrec "the_Bool (Bool b) = b"
    1.12  consts   the_Intg   :: "val \<Rightarrow> int"