src/HOL/Unix/document/root.bib
changeset 10968 4882d65cc716
parent 10966 8f2c27041a8e
child 11072 8f47967ecc80
     1.1 --- a/src/HOL/Unix/document/root.bib	Tue Jan 23 18:13:00 2001 +0100
     1.2 +++ b/src/HOL/Unix/document/root.bib	Tue Jan 23 18:17:14 2001 +0100
     1.3 @@ -11,7 +11,7 @@
     1.4    title = 	 {Teams as Types --- A Formal Treatment of Authorization in Groupware},
     1.5    school = 	 {TU M\"unchen},
     1.6    year = 	 2001,
     1.7 -  note =	 "submitted"}
     1.8 +  note =	 "Submitted"}
     1.9  
    1.10  @Manual{Nipkow-et-al:2000:HOL,
    1.11    author        = {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},