equal
deleted
inserted
replaced
151 "quickcheck" |
151 "quickcheck" |
152 "quickcheck_params" |
152 "quickcheck_params" |
153 "quit" |
153 "quit" |
154 "realizability" |
154 "realizability" |
155 "realizers" |
155 "realizers" |
156 "redo" |
|
157 "remove_thy" |
156 "remove_thy" |
158 "rep_datatype" |
157 "rep_datatype" |
159 "sect" |
158 "sect" |
160 "section" |
159 "section" |
161 "setup" |
160 "setup" |
257 "exit" |
256 "exit" |
258 "init_toplevel" |
257 "init_toplevel" |
259 "kill" |
258 "kill" |
260 "linear_undo" |
259 "linear_undo" |
261 "quit" |
260 "quit" |
262 "redo" |
|
263 "undo" |
261 "undo" |
264 "undos_proof")) |
262 "undos_proof")) |
265 |
263 |
266 (defconst isar-keywords-diag |
264 (defconst isar-keywords-diag |
267 '("ML_command" |
265 '("ML_command" |