src/HOL/Bali/Basis.thy
changeset 24162 8dfd5dd65d82
parent 24038 18182c4aec9e
child 24178 4ff1dc2aa18d
     1.1 --- a/src/HOL/Bali/Basis.thy	Tue Aug 07 09:38:43 2007 +0200
     1.2 +++ b/src/HOL/Bali/Basis.thy	Tue Aug 07 09:38:44 2007 +0200
     1.3 @@ -238,7 +238,7 @@
     1.4  (* e.g. lemmas is_stmt_rews = is_stmt_def [of "In1l x", simplified] *)
     1.5  
     1.6  translations
     1.7 -  "option"<= (type) "Datatype.option"
     1.8 +  "option"<= (type) "Option.option"
     1.9    "list"  <= (type) "List.list"
    1.10    "sum3"  <= (type) "Basis.sum3"
    1.11