src/Pure/library.scala

--- a/src/Pure/library.scala	Tue Apr 15 22:41:10 2014 +0200
+++ b/src/Pure/library.scala	Wed Apr 16 09:38:40 2014 +0200
@@ -10,7 +10,6 @@
 
 import scala.collection.mutable
 
-import java.util.Locale
 import java.util.concurrent.{Future => JFuture, TimeUnit}
 
 
@@ -97,26 +96,9 @@
     else ""
   }
 
-  def plain_words(str: String): String =
-    space_explode('_', str).mkString(" ")
-
 
   /* strings */
 
-  def lowercase(str: String): String = str.toLowerCase(Locale.ROOT)
-  def uppercase(str: String): String = str.toUpperCase(Locale.ROOT)
-
-  def capitalize(str: String): String =
-    if (str.length == 0) str
-    else uppercase(str.substring(0, 1)) + str.substring(1)
-
-  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(_))
-
   def try_unprefix(prfx: String, s: String): Option[String] =
     if (s.startsWith(prfx)) Some(s.substring(prfx.length)) else None