| changeset 23252 | 67268bb40b21 |
| parent 23164 | 69e55066dbca |
| child 23263 | 0c227412b285 |
| 23251:471b576aad25 | 23252:67268bb40b21 |
|---|---|
4 *) |
4 *) |
5 |
5 |
6 header {*Simprocs for the Naturals*} |
6 header {*Simprocs for the Naturals*} |
7 |
7 |
8 theory NatSimprocs |
8 theory NatSimprocs |
9 imports NatBin |
9 imports Groebner_Basis |
10 uses "int_factor_simprocs.ML" "nat_simprocs.ML" |
10 uses "int_factor_simprocs.ML" "nat_simprocs.ML" |
11 begin |
11 begin |
12 |
12 |
13 setup nat_simprocs_setup |
13 setup nat_simprocs_setup |
14 |
14 |