| changeset 58889 | 5b7a9633cfa8 |
| parent 55375 | d26d5f988d71 |
| child 59757 | 93d4169e07dc |
--- a/src/HOL/Numeral_Simprocs.thy Sun Nov 02 18:21:14 2014 +0100 +++ b/src/HOL/Numeral_Simprocs.thy Sun Nov 02 18:21:45 2014 +0100 @@ -1,6 +1,6 @@ (* Author: Various *) -header {* Combination and Cancellation Simprocs for Numeral Expressions *} +section {* Combination and Cancellation Simprocs for Numeral Expressions *} theory Numeral_Simprocs imports Divides