equal
deleted
inserted
replaced
188 "print_context" |
188 "print_context" |
189 "print_dependencies" |
189 "print_dependencies" |
190 "print_drafts" |
190 "print_drafts" |
191 "print_facts" |
191 "print_facts" |
192 "print_induct_rules" |
192 "print_induct_rules" |
|
193 "print_inductives" |
193 "print_interps" |
194 "print_interps" |
194 "print_locale" |
195 "print_locale" |
195 "print_locales" |
196 "print_locales" |
196 "print_methods" |
197 "print_methods" |
197 "print_orders" |
198 "print_orders" |
411 "print_context" |
412 "print_context" |
412 "print_dependencies" |
413 "print_dependencies" |
413 "print_drafts" |
414 "print_drafts" |
414 "print_facts" |
415 "print_facts" |
415 "print_induct_rules" |
416 "print_induct_rules" |
|
417 "print_inductives" |
416 "print_interps" |
418 "print_interps" |
417 "print_locale" |
419 "print_locale" |
418 "print_locales" |
420 "print_locales" |
419 "print_methods" |
421 "print_methods" |
420 "print_orders" |
422 "print_orders" |