changeset 24194 | 96013f81faef |
parent 24178 | 4ff1dc2aa18d |
child 26349 | 7f5a2f6d9119 |
--- a/src/HOL/Bali/Basis.thy Thu Aug 09 15:52:38 2007 +0200 +++ b/src/HOL/Bali/Basis.thy Thu Aug 09 15:52:42 2007 +0200 @@ -236,7 +236,7 @@ (* e.g. lemmas is_stmt_rews = is_stmt_def [of "In1l x", simplified] *) translations - "option"<= (type) "Option.option" + "option"<= (type) "Datatype.option" "list" <= (type) "List.list" "sum3" <= (type) "Basis.sum3"