src/Cube/ROOT
changeset 48475 02dd825f5a4e
child 48483 9bfb6978eb80
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Cube/ROOT	Tue Jul 24 14:07:44 2012 +0200
@@ -0,0 +1,9 @@
+session Cube! in "." = Pure +
+  description {*
+    Author:     Tobias Nipkow
+    Copyright   1992  University of Cambridge
+
+    The Lambda-Cube a la Barendregt.
+  *}
+  theories Example
+