equal
deleted
inserted
replaced
93 "function" |
93 "function" |
94 "global" |
94 "global" |
95 "guess" |
95 "guess" |
96 "have" |
96 "have" |
97 "header" |
97 "header" |
|
98 "help" |
98 "hence" |
99 "hence" |
99 "hide" |
100 "hide" |
100 "inductive" |
101 "inductive" |
101 "inductive2" |
102 "inductive2" |
102 "inductive_cases" |
103 "inductive_cases" |
133 "prefer" |
134 "prefer" |
134 "presume" |
135 "presume" |
135 "pretty_setmargin" |
136 "pretty_setmargin" |
136 "prf" |
137 "prf" |
137 "primrec" |
138 "primrec" |
|
139 "print_abbrevs" |
138 "print_antiquotations" |
140 "print_antiquotations" |
139 "print_ast_translation" |
141 "print_ast_translation" |
140 "print_attributes" |
142 "print_attributes" |
141 "print_binds" |
143 "print_binds" |
142 "print_cases" |
144 "print_cases" |
321 "display_drafts" |
323 "display_drafts" |
322 "enable_pr" |
324 "enable_pr" |
323 "find_theorems" |
325 "find_theorems" |
324 "full_prf" |
326 "full_prf" |
325 "header" |
327 "header" |
|
328 "help" |
326 "kill_thy" |
329 "kill_thy" |
327 "normal_form" |
330 "normal_form" |
328 "pr" |
331 "pr" |
329 "pretty_setmargin" |
332 "pretty_setmargin" |
330 "prf" |
333 "prf" |
|
334 "print_abbrevs" |
331 "print_antiquotations" |
335 "print_antiquotations" |
332 "print_attributes" |
336 "print_attributes" |
333 "print_binds" |
337 "print_binds" |
334 "print_cases" |
338 "print_cases" |
335 "print_claset" |
339 "print_claset" |