From f9347ca52cf7a21a3aae0e7bfbb2d5978ff5d421 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 30 Oct 2008 16:58:54 -0400
Subject: Especialize

---
 lib/basis.urs | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'lib')

diff --git a/lib/basis.urs b/lib/basis.urs
index 8992bc8c..0e6b9988 100644
--- a/lib/basis.urs
+++ b/lib/basis.urs
@@ -352,6 +352,9 @@ val tt : bodyTag []
 val font : bodyTag [Size = int, Face = string]
 
 val h1 : bodyTag []
+val h2 : bodyTag []
+val h3 : bodyTag []
+val h4 : bodyTag []
 val li : bodyTag []
 
 val hr : bodyTag []
-- 
cgit v1.2.3