628 register_config_bool Goal_Display.show_main_goal #> |
628 register_config_bool Goal_Display.show_main_goal #> |
629 register_config_bool Thm.show_consts #> |
629 register_config_bool Thm.show_consts #> |
630 register_config_bool Thm.show_hyps #> |
630 register_config_bool Thm.show_hyps #> |
631 register_config_bool Thm.show_tags #> |
631 register_config_bool Thm.show_tags #> |
632 register_config_bool Pattern.unify_trace_failure #> |
632 register_config_bool Pattern.unify_trace_failure #> |
633 register_config_int Unify.trace_bound #> |
|
634 register_config_int Unify.search_bound #> |
633 register_config_int Unify.search_bound #> |
635 register_config_bool Unify.trace_simp #> |
634 register_config_int Unify.unify_trace_bound #> |
636 register_config_bool Unify.trace_types #> |
635 register_config_bool Unify.unify_trace_simp #> |
|
636 register_config_bool Unify.unify_trace_types #> |
637 register_config_int Raw_Simplifier.simp_depth_limit #> |
637 register_config_int Raw_Simplifier.simp_depth_limit #> |
638 register_config_int Raw_Simplifier.simp_trace_depth_limit #> |
638 register_config_int Raw_Simplifier.simp_trace_depth_limit #> |
639 register_config_bool Raw_Simplifier.simp_debug #> |
639 register_config_bool Raw_Simplifier.simp_debug #> |
640 register_config_bool Raw_Simplifier.simp_trace #> |
640 register_config_bool Raw_Simplifier.simp_trace #> |
641 register_config_bool Local_Defs.unfold_abs_def); |
641 register_config_bool Local_Defs.unfold_abs_def); |