src/HOL/Unix/document/root.bib

--- a/src/HOL/Unix/document/root.bib	Tue Jan 23 18:13:00 2001 +0100
+++ b/src/HOL/Unix/document/root.bib	Tue Jan 23 18:17:14 2001 +0100
@@ -11,7 +11,7 @@
   title = 	 {Teams as Types --- A Formal Treatment of Authorization in Groupware},
   school = 	 {TU M\"unchen},
   year = 	 2001,
-  note =	 "submitted"}
+  note =	 "Submitted"}
 
 @Manual{Nipkow-et-al:2000:HOL,
   author        = {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},