src/HOL/UNITY/Comp/Alloc.ML

--- a/src/HOL/UNITY/Comp/Alloc.ML	Fri Feb 11 18:51:00 2005 +0100
+++ b/src/HOL/UNITY/Comp/Alloc.ML	Sun Feb 13 17:15:14 2005 +0100
@@ -715,7 +715,7 @@
 qed "System_correct";
 
 
-(** Some lemmas no longer used **)
+(** SOME lemmas no longer used **)
 
 Goal "non_dummy = (% (g,a,r). (| giv = g, ask = a, rel = r |)) o \
 \                             (funPair giv (funPair ask rel))";