equal
deleted
inserted
replaced
83 "full_prf" |
83 "full_prf" |
84 "global" |
84 "global" |
85 "guess" |
85 "guess" |
86 "have" |
86 "have" |
87 "header" |
87 "header" |
|
88 "help" |
88 "hence" |
89 "hence" |
89 "hide" |
90 "hide" |
90 "inductive" |
91 "inductive" |
91 "inductive_cases" |
92 "inductive_cases" |
92 "init_toplevel" |
93 "init_toplevel" |
120 "prefer" |
121 "prefer" |
121 "presume" |
122 "presume" |
122 "pretty_setmargin" |
123 "pretty_setmargin" |
123 "prf" |
124 "prf" |
124 "primrec" |
125 "primrec" |
|
126 "print_abbrevs" |
125 "print_antiquotations" |
127 "print_antiquotations" |
126 "print_ast_translation" |
128 "print_ast_translation" |
127 "print_attributes" |
129 "print_attributes" |
128 "print_binds" |
130 "print_binds" |
129 "print_cases" |
131 "print_cases" |
282 "display_drafts" |
284 "display_drafts" |
283 "enable_pr" |
285 "enable_pr" |
284 "find_theorems" |
286 "find_theorems" |
285 "full_prf" |
287 "full_prf" |
286 "header" |
288 "header" |
|
289 "help" |
287 "kill_thy" |
290 "kill_thy" |
288 "normal_form" |
291 "normal_form" |
289 "pr" |
292 "pr" |
290 "pretty_setmargin" |
293 "pretty_setmargin" |
291 "prf" |
294 "prf" |
|
295 "print_abbrevs" |
292 "print_antiquotations" |
296 "print_antiquotations" |
293 "print_attributes" |
297 "print_attributes" |
294 "print_binds" |
298 "print_binds" |
295 "print_cases" |
299 "print_cases" |
296 "print_claset" |
300 "print_claset" |