src/ZF/UNITY/NatPlus.thy

--- a/src/ZF/UNITY/NatPlus.thy	Mon May 26 18:36:15 2003 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,12 +0,0 @@
-(*  Title:      ZF/UNITY/NatPlus.thy
-    ID:         $Id$
-    Author:     Sidi O Ehmety, Cambridge University Computer Laboratory
-    Copyright   2001  University of Cambridge
-
-More theorems on naturals
-
-*)
-
-NatPlus = Main +
-
-end
\ No newline at end of file