equal
deleted
inserted
replaced
52 show_types show_types |
52 show_types show_types |
53 show_question_marks show_question_marks |
53 show_question_marks show_question_marks |
54 show_consts show_consts |
54 show_consts show_consts |
55 show_abbrevs show_abbrevs |
55 show_abbrevs show_abbrevs |
56 |
56 |
57 Syntax.trace_ast syntax_ast_trace |
57 Syntax.ast_trace syntax_ast_trace |
58 Syntax.stat_ast syntax_ast_stat |
58 Syntax.ast_stat syntax_ast_stat |
59 Syntax.ambiguity_level syntax_ambiguity_level |
59 Syntax.ambiguity_level syntax_ambiguity_level |
60 |
60 |
61 Goal_Display.goals_limit goals_limit |
61 Goal_Display.goals_limit goals_limit |
62 Goal_Display.show_main_goal show_main_goal |
62 Goal_Display.show_main_goal show_main_goal |
|
63 |
|
64 Method.rule_trace rule_trace |
63 |
65 |
64 Thy_Output.display thy_output_display |
66 Thy_Output.display thy_output_display |
65 Thy_Output.quotes thy_output_quotes |
67 Thy_Output.quotes thy_output_quotes |
66 Thy_Output.indent thy_output_indent |
68 Thy_Output.indent thy_output_indent |
67 Thy_Output.source thy_output_source |
69 Thy_Output.source thy_output_source |