changeset 61579 | 634cd44bb1d3 |
parent 61566 | c3d6e570ccef |
child 61617 | cd7549cd5fe7 |
--- a/src/Pure/Pure.thy Wed Nov 04 23:27:00 2015 +0100 +++ b/src/Pure/Pure.thy Thu Nov 05 00:02:30 2015 +0100 @@ -6,7 +6,7 @@ theory Pure keywords - "!!" "!" "+" "--" ":" ";" "<" "<=" "=" "=>" "?" "[" "\<equiv>" + "!!" "!" "+" "--" ":" ";" "<" "<=" "=" "=>" "?" "[" "\<comment>" "\<equiv>" "\<leftharpoondown>" "\<rightharpoonup>" "\<rightleftharpoons>" "\<subseteq>" "]" "assumes" "attach" "binder" "constrains" "defines" "fixes" "for" "identifier" "if" "in" "includes" "infix"