diff -r 7b87c95fdf3b -r ab004c0ecc63 src/HOL/NanoJava/Decl.thy
--- a/src/HOL/NanoJava/Decl.thy	Mon Sep 17 19:49:09 2001 +0200
+++ b/src/HOL/NanoJava/Decl.thy	Fri Sep 21 18:23:15 2001 +0200
@@ -12,7 +12,7 @@
   = NT           --{* null type  *}
   | Class cname  --{* class type *}
 
-text{* field declaration *}
+text{* Field declaration *}
 types	fdecl		
 	= "fname \<times> ty"
 
@@ -22,7 +22,7 @@
           lcl ::"(vname \<times> ty) list"
           bdy :: stmt
 
-text{* method declaration *}
+text{* Method declaration *}
 types	mdecl
         = "mname \<times> methd"
 
@@ -31,7 +31,7 @@
           fields  ::"fdecl list"
           methods ::"mdecl list"
 
-text{* class declaration *}
+text{* Class declaration *}
 types	cdecl
 	= "cname \<times> class"