changeset 16417 | 9bc16273c2d4 |
parent 15234 | ec91a90c604e |
child 16775 | c1b87ef4a1c3 |
1.1 --- a/src/HOL/Integ/NatSimprocs.thy Fri Jun 17 11:35:35 2005 +0200 1.2 +++ b/src/HOL/Integ/NatSimprocs.thy Fri Jun 17 16:12:49 2005 +0200 1.3 @@ -7,7 +7,7 @@ 1.4 1.5 theory NatSimprocs 1.6 imports NatBin 1.7 -files "int_factor_simprocs.ML" "nat_simprocs.ML" 1.8 +uses "int_factor_simprocs.ML" "nat_simprocs.ML" 1.9 begin 1.10 1.11 setup nat_simprocs_setup