equal
deleted
inserted
replaced
103 "print_claset" |
103 "print_claset" |
104 "print_commands" |
104 "print_commands" |
105 "print_context" |
105 "print_context" |
106 "print_facts" |
106 "print_facts" |
107 "print_induct_rules" |
107 "print_induct_rules" |
|
108 "print_intros" |
108 "print_locale" |
109 "print_locale" |
109 "print_locales" |
110 "print_locales" |
110 "print_methods" |
111 "print_methods" |
111 "print_rules" |
112 "print_rules" |
112 "print_simpset" |
113 "print_simpset" |
262 "print_claset" |
263 "print_claset" |
263 "print_commands" |
264 "print_commands" |
264 "print_context" |
265 "print_context" |
265 "print_facts" |
266 "print_facts" |
266 "print_induct_rules" |
267 "print_induct_rules" |
|
268 "print_intros" |
267 "print_locale" |
269 "print_locale" |
268 "print_locales" |
270 "print_locales" |
269 "print_methods" |
271 "print_methods" |
270 "print_rules" |
272 "print_rules" |
271 "print_simpset" |
273 "print_simpset" |