equal
deleted
inserted
replaced
552 |
552 |
553 (* theory setup *) |
553 (* theory setup *) |
554 |
554 |
555 val _ = Context.>> (Context.map_theory |
555 val _ = Context.>> (Context.map_theory |
556 (register_config quick_and_dirty_raw #> |
556 (register_config quick_and_dirty_raw #> |
557 register_config Proofterm.proofs_raw #> |
|
558 register_config Ast.trace_raw #> |
557 register_config Ast.trace_raw #> |
559 register_config Ast.stats_raw #> |
558 register_config Ast.stats_raw #> |
560 register_config Printer.show_brackets_raw #> |
559 register_config Printer.show_brackets_raw #> |
561 register_config Printer.show_sorts_raw #> |
560 register_config Printer.show_sorts_raw #> |
562 register_config Printer.show_types_raw #> |
561 register_config Printer.show_types_raw #> |