changeset 62859 | b2f951051472 |
parent 62856 | 3f97aa4580c6 |
child 62862 | 007c454d0d0f |
--- a/src/Pure/Pure.thy Mon Apr 04 22:55:50 2016 +0200 +++ b/src/Pure/Pure.thy Mon Apr 04 23:08:43 2016 +0200 @@ -5,7 +5,7 @@ *) theory Pure - keywords +keywords "!!" "!" "+" "--" ":" ";" "<" "<=" "=" "=>" "?" "[" "\<comment>" "\<equiv>" "\<leftharpoondown>" "\<rightharpoonup>" "\<rightleftharpoons>" "\<subseteq>" "]" "assumes" "attach" "binder" "constrains"