equal
deleted
inserted
replaced
186 "print_coercions" |
186 "print_coercions" |
187 "print_commands" |
187 "print_commands" |
188 "print_context" |
188 "print_context" |
189 "print_defn_rules" |
189 "print_defn_rules" |
190 "print_dependencies" |
190 "print_dependencies" |
191 "print_drafts" |
|
192 "print_facts" |
191 "print_facts" |
193 "print_induct_rules" |
192 "print_induct_rules" |
194 "print_inductives" |
193 "print_inductives" |
195 "print_interps" |
194 "print_interps" |
196 "print_locale" |
195 "print_locale" |
415 "print_coercions" |
414 "print_coercions" |
416 "print_commands" |
415 "print_commands" |
417 "print_context" |
416 "print_context" |
418 "print_defn_rules" |
417 "print_defn_rules" |
419 "print_dependencies" |
418 "print_dependencies" |
420 "print_drafts" |
|
421 "print_facts" |
419 "print_facts" |
422 "print_induct_rules" |
420 "print_induct_rules" |
423 "print_inductives" |
421 "print_inductives" |
424 "print_interps" |
422 "print_interps" |
425 "print_locale" |
423 "print_locale" |