equal
deleted
inserted
replaced
104 "print_facts" |
104 "print_facts" |
105 "print_induct_rules" |
105 "print_induct_rules" |
106 "print_locale" |
106 "print_locale" |
107 "print_locales" |
107 "print_locales" |
108 "print_methods" |
108 "print_methods" |
|
109 "print_rules" |
109 "print_simpset" |
110 "print_simpset" |
110 "print_syntax" |
111 "print_syntax" |
111 "print_theorems" |
112 "print_theorems" |
112 "print_theory" |
113 "print_theory" |
113 "print_trans_rules" |
114 "print_trans_rules" |
258 "print_facts" |
259 "print_facts" |
259 "print_induct_rules" |
260 "print_induct_rules" |
260 "print_locale" |
261 "print_locale" |
261 "print_locales" |
262 "print_locales" |
262 "print_methods" |
263 "print_methods" |
|
264 "print_rules" |
263 "print_simpset" |
265 "print_simpset" |
264 "print_syntax" |
266 "print_syntax" |
265 "print_theorems" |
267 "print_theorems" |
266 "print_theory" |
268 "print_theory" |
267 "print_trans_rules" |
269 "print_trans_rules" |