diff -r 1426d478ccda -r f70b3712040f src/Pure/System/options.scala
--- a/src/Pure/System/options.scala	Fri Nov 30 21:28:35 2012 +0100
+++ b/src/Pure/System/options.scala	Fri Nov 30 21:30:24 2012 +0100
@@ -7,7 +7,6 @@
 package isabelle
 
 
-import java.util.Locale
 import java.util.Calendar
 
 
@@ -22,7 +21,7 @@
 
   sealed abstract class Type
   {
-    def print: String = toString.toLowerCase(Locale.ENGLISH)
+    def print: String = Library.lowercase(toString)
   }
   case object Bool extends Type
   case object Int extends Type