src/HOL/Bali/Basis.thy
changeset 24194 96013f81faef
parent 24178 4ff1dc2aa18d
child 26349 7f5a2f6d9119
     1.1 --- a/src/HOL/Bali/Basis.thy	Thu Aug 09 15:52:38 2007 +0200
     1.2 +++ b/src/HOL/Bali/Basis.thy	Thu Aug 09 15:52:42 2007 +0200
     1.3 @@ -236,7 +236,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) "Option.option"
     1.8 +  "option"<= (type) "Datatype.option"
     1.9    "list"  <= (type) "List.list"
    1.10    "sum3"  <= (type) "Basis.sum3"
    1.11