equal
deleted
inserted
replaced
5 *) |
5 *) |
6 |
6 |
7 theory Pure |
7 theory Pure |
8 keywords |
8 keywords |
9 "!!" "!" "+" ":" ";" "<" "<=" "==" "=>" "?" "[" "\<comment>" "\<equiv>" "\<leftharpoondown>" "\<rightharpoonup>" "\<rightleftharpoons>" |
9 "!!" "!" "+" ":" ";" "<" "<=" "==" "=>" "?" "[" "\<comment>" "\<equiv>" "\<leftharpoondown>" "\<rightharpoonup>" "\<rightleftharpoons>" |
10 "\<subseteq>" "]" "binder" "by" "in" "infix" "infixl" "infixr" "is" "open" "output" |
10 "\<subseteq>" "]" "binder" "by" "identifier" "in" "infix" "infixl" "infixr" "is" "open" "output" |
11 "overloaded" "passive" "pervasive" "premises" "structure" "unchecked" |
11 "overloaded" "passive" "pervasive" "premises" "structure" "unchecked" |
12 and "private" "qualified" :: before_command |
12 and "private" "qualified" :: before_command |
13 and "assumes" "constrains" "defines" "fixes" "for" "if" "includes" "notes" "rewrites" |
13 and "assumes" "constrains" "defines" "fixes" "for" "if" "includes" "notes" "rewrites" |
14 "obtains" "shows" "when" "where" "|" :: quasi_command |
14 "obtains" "shows" "when" "where" "|" :: quasi_command |
15 and "text" "txt" :: document_body |
15 and "text" "txt" :: document_body |