# HG changeset patch
# User wenzelm
# Date 884622394 -3600
# Node ID 31becfd8d3299513e15a46a6f851629fbe25ca91
# Parent  03003b966e913552d38564322866e6408c62b019
Delsimprocs nat_cancel;

diff -r 03003b966e91 -r 31becfd8d329 src/HOL/ex/NatSum.ML
--- a/src/HOL/ex/NatSum.ML	Mon Jan 12 17:26:00 1998 +0100
+++ b/src/HOL/ex/NatSum.ML	Mon Jan 12 17:26:34 1998 +0100
@@ -7,6 +7,7 @@
 Demonstrates permutative rewriting.
 *)
 
+Delsimprocs nat_cancel;
 Addsimps add_ac;
 Addsimps [add_mult_distrib, add_mult_distrib2];