# HG changeset patch
# User wenzelm
# Date 881338426 -3600
# Node ID 1f2dd130fe396e61549ce23869d358b81cfc1fa5
# Parent  2f0c174036dc1fb1ee8a52bdf8d394700612600c
simplification procedures nat_cancel enabled by default;

diff -r 2f0c174036dc -r 1f2dd130fe39 src/HOL/arith_data.ML
--- a/src/HOL/arith_data.ML	Fri Dec 05 08:01:03 1997 +0100
+++ b/src/HOL/arith_data.ML	Fri Dec 05 17:13:46 1997 +0100
@@ -215,3 +215,7 @@
 
 
 open ArithData;
+
+
+context Arith.thy;
+Addsimprocs nat_cancel;