# HG changeset patch
# User wenzelm
# Date 1397725090 -7200
# Node ID 5780bddbe9a1f483de39fa82ebfdc7fa8c1adb46
# Parent  5ac67041ccf8ba5da7ac5111d501944ef984af05
unused;

diff -r 5ac67041ccf8 -r 5780bddbe9a1 src/Pure/General/word.scala
--- 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 */