--- a/src/HOL/Nat.thy Tue Jul 24 11:25:54 2001 +0200
+++ b/src/HOL/Nat.thy Wed Jul 25 13:13:01 2001 +0200
@@ -6,7 +6,7 @@
and * (for div, mod and dvd, see theory Divides).
*)
-Nat = NatDef +
+Nat = NatDef +
(* type "nat" is a wellfounded linear order, and a datatype *)