author | wenzelm |
Fri, 08 Nov 2019 20:59:34 +0100 | |
changeset 71092 | 3c04a52c422a |
parent 71091 | fd82d53c1761 |
child 71093 | b7d481cdd54d |
--- a/src/HOL/Tools/rewrite_hol_proof.ML Fri Nov 08 20:28:50 2019 +0100 +++ b/src/HOL/Tools/rewrite_hol_proof.ML Fri Nov 08 20:59:34 2019 +0100 @@ -1,7 +1,7 @@ (* Title: HOL/Tools/rewrite_hol_proof.ML Author: Stefan Berghofer, TU Muenchen -Rewrite rules for HOL proofs +Rewrite rules for HOL proofs. *) signature REWRITE_HOL_PROOF =