--- a/lib/basis.urs	Sun Sep 07 09:28:13 2008 -0400
+++ b/lib/basis.urs	Sun Sep 07 10:02:27 2008 -0400
@@ -17,6 +17,11 @@
 val eq_bool : eq bool
 
 
+(** String operations *)
+
+val strcat : string -> string -> string
+
+
 (** SQL *)
 
 con sql_table :: {Type} -> Type
@@ -256,3 +261,8 @@
 val submit : ctx ::: {Unit} -> [LForm] ~ ctx
         -> use ::: {Type} -> unit
         -> tag [Action = $use -> transaction page] ([LForm] ++ ctx) ([LForm] ++ ctx) use []
+
+
+(** Aborting *)
+
+val error : t ::: Type -> xml [Body] [] [] -> t