unused;

--- a/src/Pure/General/word.scala	Thu Apr 17 10:54:10 2014 +0200
+++ b/src/Pure/General/word.scala	Thu Apr 17 10:58:10 2014 +0200
@@ -73,13 +73,6 @@
       else None
   }
 
-  def is_capitalized(str: String): Boolean =
-    str.length > 0 &&
-    Character.isUpperCase(str(0)) && str.substring(1).forall(Character.isLowerCase(_))
-
-  def is_all_caps(str: String): Boolean =
-    str.length > 0 && str.forall(Character.isUpperCase(_))
-
 
   /* sequence of words */