equal
deleted
inserted
replaced
33 "back" |
33 "back" |
34 "bundle" |
34 "bundle" |
35 "by" |
35 "by" |
36 "cannot_undo" |
36 "cannot_undo" |
37 "case" |
37 "case" |
38 "cd" |
|
39 "chapter" |
38 "chapter" |
40 "class" |
39 "class" |
41 "class_deps" |
40 "class_deps" |
42 "codatatype" |
41 "codatatype" |
43 "code_datatype" |
42 "code_datatype" |
152 "print_theory" |
151 "print_theory" |
153 "print_trans_rules" |
152 "print_trans_rules" |
154 "print_translation" |
153 "print_translation" |
155 "proof" |
154 "proof" |
156 "prop" |
155 "prop" |
157 "pwd" |
|
158 "qed" |
156 "qed" |
159 "quit" |
157 "quit" |
160 "realizability" |
158 "realizability" |
161 "realizers" |
159 "realizers" |
162 "remove_thy" |
160 "remove_thy" |
259 "ProofGeneral\\.pr" |
257 "ProofGeneral\\.pr" |
260 "ProofGeneral\\.process_pgip" |
258 "ProofGeneral\\.process_pgip" |
261 "ProofGeneral\\.restart" |
259 "ProofGeneral\\.restart" |
262 "ProofGeneral\\.undo" |
260 "ProofGeneral\\.undo" |
263 "cannot_undo" |
261 "cannot_undo" |
264 "cd" |
|
265 "commit" |
262 "commit" |
266 "disable_pr" |
263 "disable_pr" |
267 "enable_pr" |
264 "enable_pr" |
268 "exit" |
265 "exit" |
269 "init_toplevel" |
266 "init_toplevel" |
320 "print_term_bindings" |
317 "print_term_bindings" |
321 "print_theorems" |
318 "print_theorems" |
322 "print_theory" |
319 "print_theory" |
323 "print_trans_rules" |
320 "print_trans_rules" |
324 "prop" |
321 "prop" |
325 "pwd" |
|
326 "term" |
322 "term" |
327 "thm" |
323 "thm" |
328 "thm_deps" |
324 "thm_deps" |
329 "thy_deps" |
325 "thy_deps" |
330 "typ" |
326 "typ" |