diff -r c9cfe1638bf2 -r 6f54e992777e src/ZF/Nat.thy
--- a/src/ZF/Nat.thy	Sun Jul 14 15:14:43 2002 +0200
+++ b/src/ZF/Nat.thy	Sun Jul 14 19:59:55 2002 +0200
@@ -7,7 +7,7 @@
 
 header{*The Natural numbers As a Least Fixed Point*}
 
-theory Nat = OrdQuant + Bool + mono:
+theory Nat = OrdQuant + Bool:
 
 constdefs
   nat :: i