equal
deleted
inserted
replaced
779 (** package setup **) |
779 (** package setup **) |
780 |
780 |
781 (* setup theory *) |
781 (* setup theory *) |
782 |
782 |
783 val setup = |
783 val setup = |
784 DatatypeProp.distinctness_limit_setup #> |
784 DatatypeRepProofs.distinctness_limit_setup #> |
785 Method.add_methods tactic_emulations #> |
785 Method.add_methods tactic_emulations #> |
786 simproc_setup #> |
786 simproc_setup #> |
787 trfun_setup #> |
787 trfun_setup #> |
788 DatatypeInterpretation.init; |
788 DatatypeInterpretation.init; |
789 |
789 |