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