| changeset 39039 | e6a18808873c |
| parent 38300 | acd48ef85bfc |
| child 39043 | abe92b33ac9f |
| 39038:283f1f9969ba | 39039:e6a18808873c |
|---|---|
95 |
95 |
96 ML {* |
96 ML {* |
97 structure Dig_Simps = Named_Thms |
97 structure Dig_Simps = Named_Thms |
98 ( |
98 ( |
99 val name = "numeral" |
99 val name = "numeral" |
100 val description = "Simplification rules for numerals" |
100 val description = "simplification rules for numerals" |
101 ) |
101 ) |
102 *} |
102 *} |
103 |
103 |
104 setup Dig_Simps.setup |
104 setup Dig_Simps.setup |
105 |
105 |