equal
deleted
inserted
replaced
89 "function" |
89 "function" |
90 "global" |
90 "global" |
91 "guess" |
91 "guess" |
92 "have" |
92 "have" |
93 "header" |
93 "header" |
|
94 "help" |
94 "hence" |
95 "hence" |
95 "hide" |
96 "hide" |
96 "inductive" |
97 "inductive" |
97 "inductive2" |
98 "inductive2" |
98 "inductive_cases" |
99 "inductive_cases" |
303 "display_drafts" |
304 "display_drafts" |
304 "enable_pr" |
305 "enable_pr" |
305 "find_theorems" |
306 "find_theorems" |
306 "full_prf" |
307 "full_prf" |
307 "header" |
308 "header" |
|
309 "help" |
308 "kill_thy" |
310 "kill_thy" |
309 "normal_form" |
311 "normal_form" |
310 "pr" |
312 "pr" |
311 "pretty_setmargin" |
313 "pretty_setmargin" |
312 "prf" |
314 "prf" |