changeset 13764 | 3e180bf68496 |
parent 13763 | f94b569cd610 |
child 14201 | 7ad7ab89c402 |
--- a/src/HOL/HOL.thy Sun Dec 22 10:43:43 2002 +0100 +++ b/src/HOL/HOL.thy Sun Dec 22 15:02:40 2002 +0100 @@ -71,7 +71,7 @@ translations "x ~= y" == "~ (x = y)" - "THE x. P" => "The (%x. P)" + "THE x. P" == "The (%x. P)" "_Let (_binds b bs) e" == "_Let b (_Let bs e)" "let x = a in e" == "Let a (%x. e)"