--- a/lib/basis.urs	Sat Dec 20 14:19:21 2008 -0500
+++ b/lib/basis.urs	Sat Dec 20 15:46:48 2008 -0500
@@ -376,6 +376,9 @@
 con tabl = [Body, Table]
 con tr = [Body, Tr]
 
+val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> unit
+          -> tag [Signal = signal (xml ctx use bind)] ctx [] use bind
+
 val head : unit -> tag [] html head [] []
 val title : unit -> tag [] head [] [] []
 
@@ -433,7 +436,7 @@
 val select : formTag string select []
 val option : unit -> tag [Value = string, Selected = bool] select [] [] []
 
-val submit : ctx ::: {Unit} ->  use ::: {Type}
+val submit : ctx ::: {Unit} -> use ::: {Type}
              -> fn [[Form] ~ ctx] =>
                    unit
                    -> tag [Value = string, Action = $use -> transaction page]