src/HOL/Bali/Basis.thy
changeset 35431 8758fe1fc9f8
parent 35417 47ee18b6ae32
child 36176 3fe7e97ccca8
     1.1 --- a/src/HOL/Bali/Basis.thy	Wed Mar 03 00:32:14 2010 +0100
     1.2 +++ b/src/HOL/Bali/Basis.thy	Wed Mar 03 00:33:02 2010 +0100
     1.3 @@ -213,11 +213,6 @@
     1.4  *}
     1.5  (* e.g. lemmas is_stmt_rews = is_stmt_def [of "In1l x", simplified] *)
     1.6  
     1.7 -translations
     1.8 -  "option"<= (type) "Option.option"
     1.9 -  "list"  <= (type) "List.list"
    1.10 -  "sum3"  <= (type) "Basis.sum3"
    1.11 -
    1.12  
    1.13  section "quantifiers for option type"
    1.14