From 7361fa236b9221f686e0dd58d7a9ae870a8c7c7e Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@mit.edu>
Date: Thu, 2 May 2013 17:32:56 -0400
Subject: Forum: Add answering support

---
 forum/entryClass.urs | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 forum/entryClass.urs

(limited to 'forum/entryClass.urs')

diff --git a/forum/entryClass.urs b/forum/entryClass.urs
new file mode 100644
index 0000000..acd5c79
--- /dev/null
+++ b/forum/entryClass.urs
@@ -0,0 +1,11 @@
+type entryClass
+
+val question : entryClass
+val answer : entryClass
+
+
+(********************************* Instances *********************************)
+
+val eq_entryClass : eq entryClass
+
+val sql_entryClass : sql_injectable entryClass
-- 
cgit v1.2.3