changeset 70840 | 5b80eb4fd0f3 |
parent 70837 | 874092c031c3 |
child 70879 | 0b320e92485c |
--- a/src/Pure/Proof/proof_rewrite_rules.ML Fri Oct 11 21:51:10 2019 +0200 +++ b/src/Pure/Proof/proof_rewrite_rules.ML Fri Oct 11 22:01:45 2019 +0200 @@ -20,7 +20,7 @@ (Proofterm.proof * Proofterm.proof) option end; -structure ProofRewriteRules : PROOF_REWRITE_RULES = +structure Proof_Rewrite_Rules : PROOF_REWRITE_RULES = struct fun rew b _ _ =