diff lib/basis.lig @ 93:94afff1ff7f6

More fun with HTML
author Adam Chlipala <adamc@hcoop.net>
date Thu, 03 Jul 2008 17:14:35 -0400
parents 4327abd52997
children b1e5398a7f30
line wrap: on
line diff
--- a/lib/basis.lig	Thu Jul 03 17:02:42 2008 -0400
+++ b/lib/basis.lig	Thu Jul 03 17:14:35 2008 -0400
@@ -20,3 +20,8 @@
 
 val head : tag [Html] [Head]
 val title : tag [Head] []
+
+val body : tag [Html] [Body]
+val p : tag [Body] [Body]
+val b : tag [Body] [Body]
+val i : tag [Body] [Body]