--- a/src/HOL/ex/svc_test.ML	Thu Apr 07 09:24:35 2005 +0200
+++ b/src/HOL/ex/svc_test.ML	Thu Apr 07 09:25:33 2005 +0200
@@ -18,7 +18,7 @@
 by (svc_tac 1);
 qed "";
 
-(** SOME big tautologies supplied by John Harrison **)
+(** Some big tautologies supplied by John Harrison **)
 
 (*Tautology name: puz013_1.  Auto_tac manages; Blast_tac and Fast_tac take
   a minute or more.*)