diff -r 2cc2cb56cbdd -r c4424d8c890f src/Pure/System/options.scala
--- a/src/Pure/System/options.scala	Tue Apr 15 22:41:10 2014 +0200
+++ b/src/Pure/System/options.scala	Wed Apr 16 09:38:40 2014 +0200
@@ -21,7 +21,7 @@
 
   sealed abstract class Type
   {
-    def print: String = Library.lowercase(toString)
+    def print: String = Word.lowercase(toString)
   }
   case object Bool extends Type
   case object Int extends Type
@@ -58,7 +58,7 @@
           case word :: rest if word == strip => rest
           case _ => words
         }
-      words1.map(Library.capitalize(_)).mkString(" ")
+      words1.map(Word.capitalize(_)).mkString(" ")
     }
 
     def unknown: Boolean = typ == Unknown