changeset 30235 | 58d147683393 |
parent 27239 | f2f42f9fa09d |
child 32149 | ef59550a55d3 |
--- a/src/HOL/Bali/Basis.thy Tue Mar 03 17:05:18 2009 +0100 +++ b/src/HOL/Bali/Basis.thy Wed Mar 04 10:47:20 2009 +0100 @@ -251,8 +251,8 @@ Oex :: "[pttrn, 'a option, bool] => bool" ("(3\<exists>_\<in>_:/ _)" [0,0,10] 10) translations - "! x:A: P" == "! x:o2s A. P" - "? x:A: P" == "? x:o2s A. P" + "! x:A: P" == "! x:CONST Option.set A. P" + "? x:A: P" == "? x:CONST Option.set A. P" section "Special map update"