--- a/lib/ur/basis.urs	Tue Dec 08 09:33:08 2009 -0500
+++ b/lib/ur/basis.urs	Tue Dec 08 10:46:50 2009 -0500
@@ -52,6 +52,24 @@
 val mkOrd : t ::: Type -> {Lt : t -> t -> bool, Le : t -> t -> bool} -> ord t
 
 
+(** Character operations *)
+
+val isalnum : char -> bool
+val isalpha : char -> bool
+val isblank : char -> bool
+val iscntrl : char -> bool
+val isdigit : char -> bool
+val isgraph : char -> bool
+val islower : char -> bool
+val isprint : char -> bool
+val ispunct : char -> bool
+val isspace : char -> bool
+val isupper : char -> bool
+val isxdigit : char -> bool
+val tolower : char -> char
+val toupper : char -> char
+
+
 (** String operations *)
 
 val strlen : string -> int