equal
deleted
inserted
replaced
14 "ProofGeneral\\.context_thy_only" |
14 "ProofGeneral\\.context_thy_only" |
15 "ProofGeneral\\.inform_file_processed" |
15 "ProofGeneral\\.inform_file_processed" |
16 "ProofGeneral\\.inform_file_retracted" |
16 "ProofGeneral\\.inform_file_retracted" |
17 "ProofGeneral\\.kill_proof" |
17 "ProofGeneral\\.kill_proof" |
18 "ProofGeneral\\.process_pgip" |
18 "ProofGeneral\\.process_pgip" |
|
19 "ProofGeneral\\.redo" |
19 "ProofGeneral\\.restart" |
20 "ProofGeneral\\.restart" |
20 "ProofGeneral\\.try_context_thy_only" |
21 "ProofGeneral\\.try_context_thy_only" |
21 "ProofGeneral\\.undo" |
22 "ProofGeneral\\.undo" |
22 "also" |
23 "also" |
23 "apply" |
24 "apply" |
85 "local" |
86 "local" |
86 "locale" |
87 "locale" |
87 "method_setup" |
88 "method_setup" |
88 "moreover" |
89 "moreover" |
89 "next" |
90 "next" |
|
91 "no_syntax" |
90 "nonterminals" |
92 "nonterminals" |
91 "note" |
93 "note" |
92 "obtain" |
94 "obtain" |
93 "oops" |
95 "oops" |
94 "oracle" |
96 "oracle" |
222 '("ProofGeneral\\.context_thy_only" |
224 '("ProofGeneral\\.context_thy_only" |
223 "ProofGeneral\\.inform_file_processed" |
225 "ProofGeneral\\.inform_file_processed" |
224 "ProofGeneral\\.inform_file_retracted" |
226 "ProofGeneral\\.inform_file_retracted" |
225 "ProofGeneral\\.kill_proof" |
227 "ProofGeneral\\.kill_proof" |
226 "ProofGeneral\\.process_pgip" |
228 "ProofGeneral\\.process_pgip" |
|
229 "ProofGeneral\\.redo" |
227 "ProofGeneral\\.restart" |
230 "ProofGeneral\\.restart" |
228 "ProofGeneral\\.try_context_thy_only" |
231 "ProofGeneral\\.try_context_thy_only" |
229 "ProofGeneral\\.undo" |
232 "ProofGeneral\\.undo" |
230 "cannot_undo" |
233 "cannot_undo" |
231 "clear_undos" |
234 "clear_undos" |
333 "judgment" |
336 "judgment" |
334 "lemmas" |
337 "lemmas" |
335 "local" |
338 "local" |
336 "locale" |
339 "locale" |
337 "method_setup" |
340 "method_setup" |
|
341 "no_syntax" |
338 "nonterminals" |
342 "nonterminals" |
339 "oracle" |
343 "oracle" |
340 "parse_ast_translation" |
344 "parse_ast_translation" |
341 "parse_translation" |
345 "parse_translation" |
342 "primrec" |
346 "primrec" |