diff -r 255055554c67 -r 9ef583b08647 src/Pure/IsaPlanner/isa_fterm.ML
--- a/src/Pure/IsaPlanner/isa_fterm.ML	Thu Apr 07 09:24:35 2005 +0200
+++ b/src/Pure/IsaPlanner/isa_fterm.ML	Thu Apr 07 09:25:33 2005 +0200
@@ -97,7 +97,7 @@
 open BasicIsaFTerm;
 
 
-(* SOME general search within a focus term... *)
+(* Some general search within a focus term... *)
 
 (* Note: only upterms with a free or constant are going to yeald a
 match, thus if we get anything else (bound or var) skip it! This is