src/ZF/ROOT.ML

--- a/src/ZF/ROOT.ML	Mon Aug 07 10:29:04 2000 +0200
+++ b/src/ZF/ROOT.ML	Mon Aug 07 10:29:54 2000 +0200
@@ -18,6 +18,8 @@
 (*Add user sections for inductive/datatype definitions*)
 use     "thy_syntax";
 
+use "~~/src/Provers/Arith/cancel_numerals.ML";
+
 use_thy "ZF";
 use     "Tools/typechk";
 use_thy "mono";