equal
deleted
inserted
replaced
171 "print_facts" |
171 "print_facts" |
172 "print_induct_rules" |
172 "print_induct_rules" |
173 "print_interps" |
173 "print_interps" |
174 "print_locale" |
174 "print_locale" |
175 "print_locales" |
175 "print_locales" |
|
176 "print_maps" |
176 "print_methods" |
177 "print_methods" |
177 "print_orders" |
178 "print_orders" |
178 "print_quotconsts" |
179 "print_quotconsts" |
179 "print_quotients" |
180 "print_quotients" |
180 "print_rules" |
181 "print_rules" |
363 "print_facts" |
364 "print_facts" |
364 "print_induct_rules" |
365 "print_induct_rules" |
365 "print_interps" |
366 "print_interps" |
366 "print_locale" |
367 "print_locale" |
367 "print_locales" |
368 "print_locales" |
|
369 "print_maps" |
368 "print_methods" |
370 "print_methods" |
369 "print_orders" |
371 "print_orders" |
370 "print_quotconsts" |
372 "print_quotconsts" |
371 "print_quotients" |
373 "print_quotients" |
372 "print_rules" |
374 "print_rules" |