src/HOL/ex/Abstract_NAT.thy

--- a/src/HOL/ex/Abstract_NAT.thy	Tue Jun 05 16:26:04 2007 +0200
+++ b/src/HOL/ex/Abstract_NAT.thy	Tue Jun 05 16:26:06 2007 +0200
@@ -3,7 +3,7 @@
     Author:     Makarius
 *)
 
-header {* Abstract Natural Numbers with polymorphic recursion *}
+header {* Abstract Natural Numbers primitive recursion *}
 
 theory Abstract_NAT
 imports Main