equal
deleted
inserted
replaced
185 "files" |
185 "files" |
186 "fixes" |
186 "fixes" |
187 "hide_action" |
187 "hide_action" |
188 "hints" |
188 "hints" |
189 "in" |
189 "in" |
|
190 "includes" |
190 "induction" |
191 "induction" |
191 "infix" |
192 "infix" |
192 "infixl" |
193 "infixl" |
193 "infixr" |
194 "infixr" |
194 "initially" |
195 "initially" |
214 "states" |
215 "states" |
215 "structure" |
216 "structure" |
216 "to" |
217 "to" |
217 "transitions" |
218 "transitions" |
218 "transrel" |
219 "transrel" |
219 "uses" |
|
220 "where")) |
220 "where")) |
221 |
221 |
222 (defconst isar-keywords-control |
222 (defconst isar-keywords-control |
223 '("ProofGeneral\\.context_thy_only" |
223 '("ProofGeneral\\.context_thy_only" |
224 "ProofGeneral\\.inform_file_processed" |
224 "ProofGeneral\\.inform_file_processed" |