# HG changeset patch
# User Sergey Mironov <grrwlf@gmail.com>
# Date 1381140533 -14400
# Node ID fdafa3f92e4043227dd475634c3be4556498dfe0
# Parent  c44bfaa69dd86f51cb30548ab6513bf796dda089
Add <dl> <dt> <dd> tags

diff -r c44bfaa69dd8 -r fdafa3f92e40 lib/ur/basis.urs
--- a/lib/ur/basis.urs	Thu Oct 10 14:01:19 2013 -0400
+++ b/lib/ur/basis.urs	Mon Oct 07 14:08:53 2013 +0400
@@ -976,6 +976,19 @@
   -> tag ([Colspan = int, Rowspan = int] ++ tableAttrs)
          ([Tr] ++ other) ([Body] ++ other) [] []
 
+(** Definition lists *)
+
+val dl : other ::: {Unit} -> [other ~ [Body,Dl]]
+  => unit
+  -> tag [] ([Body] ++ other) ([Dl] ++ other) [] []
+
+val dt : other ::: {Unit} -> [other ~ [Body,Dl]]
+  => unit
+  -> tag [] ([Dl] ++ other) ([Body] ++ other) [] []
+
+val dd : other ::: {Unit} -> [other ~ [Body,Dl]]
+  => unit
+  -> tag [] ([Dl] ++ other) ([Body] ++ other) [] []
 
 (** Aborting *)