| changeset 10536 | 8f34ecae1446 |
| parent 9436 | 62bb04ab4b01 |
| child 14128 | fd6d20c2371c |
--- a/src/HOL/Integ/NatSimprocs.thy Wed Nov 29 10:19:32 2000 +0100 +++ b/src/HOL/Integ/NatSimprocs.thy Wed Nov 29 10:21:43 2000 +0100 @@ -1,6 +1,6 @@ - +(*Loading further simprocs*) theory NatSimprocs = NatBin -files "nat_simprocs.ML": +files "int_factor_simprocs.ML" "nat_simprocs.ML": setup nat_simprocs_setup