src/HOL/arith_data.ML
changeset 4368 1f2dd130fe39
parent 4336 7fb8a0c4578a
child 4675 6efc56450d09
     1.1 --- a/src/HOL/arith_data.ML	Fri Dec 05 08:01:03 1997 +0100
     1.2 +++ b/src/HOL/arith_data.ML	Fri Dec 05 17:13:46 1997 +0100
     1.3 @@ -215,3 +215,7 @@
     1.4  
     1.5  
     1.6  open ArithData;
     1.7 +
     1.8 +
     1.9 +context Arith.thy;
    1.10 +Addsimprocs nat_cancel;