src/HOL/arith_data.ML

 
 val nat_cancel = nat_cancel_factor @ nat_cancel_sums;
 
 
 end;
+
+
+open ArithData;