equal
deleted
inserted
replaced
183 "print_coercion_maps" |
183 "print_coercion_maps" |
184 "print_coercions" |
184 "print_coercions" |
185 "print_commands" |
185 "print_commands" |
186 "print_configs" |
186 "print_configs" |
187 "print_context" |
187 "print_context" |
|
188 "print_defn_rules" |
188 "print_dependencies" |
189 "print_dependencies" |
189 "print_drafts" |
190 "print_drafts" |
190 "print_facts" |
191 "print_facts" |
191 "print_induct_rules" |
192 "print_induct_rules" |
192 "print_inductives" |
193 "print_inductives" |
405 "print_coercion_maps" |
406 "print_coercion_maps" |
406 "print_coercions" |
407 "print_coercions" |
407 "print_commands" |
408 "print_commands" |
408 "print_configs" |
409 "print_configs" |
409 "print_context" |
410 "print_context" |
|
411 "print_defn_rules" |
410 "print_dependencies" |
412 "print_dependencies" |
411 "print_drafts" |
413 "print_drafts" |
412 "print_facts" |
414 "print_facts" |
413 "print_induct_rules" |
415 "print_induct_rules" |
414 "print_inductives" |
416 "print_inductives" |