src/CTT/ROOT

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/CTT/ROOT	Tue Jul 24 14:07:44 2012 +0200
@@ -0,0 +1,15 @@
+session CTT! in "." = Pure +
+  description {*
+    Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
+    Copyright   1991  University of Cambridge
+  *}
+  theories Main
+
+session ex = CTT +
+  description {*
+    Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
+    Copyright   1991  University of Cambridge
+
+    Examples for Constructive Type Theory.
+  *}
+  theories Typechecking Elimination Equality Synthesis