equal
deleted
inserted
replaced
102 "print_facts" |
102 "print_facts" |
103 "print_induct_rules" |
103 "print_induct_rules" |
104 "print_locale" |
104 "print_locale" |
105 "print_locales" |
105 "print_locales" |
106 "print_methods" |
106 "print_methods" |
|
107 "print_rules" |
107 "print_simpset" |
108 "print_simpset" |
108 "print_syntax" |
109 "print_syntax" |
109 "print_tcset" |
110 "print_tcset" |
110 "print_theorems" |
111 "print_theorems" |
111 "print_theory" |
112 "print_theory" |
236 "print_facts" |
237 "print_facts" |
237 "print_induct_rules" |
238 "print_induct_rules" |
238 "print_locale" |
239 "print_locale" |
239 "print_locales" |
240 "print_locales" |
240 "print_methods" |
241 "print_methods" |
|
242 "print_rules" |
241 "print_simpset" |
243 "print_simpset" |
242 "print_syntax" |
244 "print_syntax" |
243 "print_tcset" |
245 "print_tcset" |
244 "print_theorems" |
246 "print_theorems" |
245 "print_theory" |
247 "print_theory" |