equal
deleted
inserted
replaced
508 |
508 |
509 |
509 |
510 (* theory setup *) |
510 (* theory setup *) |
511 |
511 |
512 val _ = Theory.setup |
512 val _ = Theory.setup |
513 (register_config quick_and_dirty_raw #> |
513 (register_config Goal.quick_and_dirty_raw #> |
514 register_config Ast.trace_raw #> |
514 register_config Ast.trace_raw #> |
515 register_config Ast.stats_raw #> |
515 register_config Ast.stats_raw #> |
516 register_config Printer.show_brackets_raw #> |
516 register_config Printer.show_brackets_raw #> |
517 register_config Printer.show_sorts_raw #> |
517 register_config Printer.show_sorts_raw #> |
518 register_config Printer.show_types_raw #> |
518 register_config Printer.show_types_raw #> |