src/Cube/README.html
changeset 51405 2aea76fe9c73
parent 51396 f4c82c165f58
parent 51404 90a598019aeb
child 51406 950b897f95bb
--- a/src/Cube/README.html	Tue Mar 12 19:55:17 2013 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,30 +0,0 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
-
-<HTML>
-
-<HEAD>
-  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
-  <TITLE>Cube/README</TITLE>
-</HEAD>
-
-<BODY>
-
-<H2>Cube: Barendregt's Lambda-Cube</H2>
-
-This directory contains the theory sources for the Lambda-Cube in
-Isabelle/Pure.<p>
-
-The <tt>ex</tt> subdirectory contains some examples.<p>
-
-NB: the formalization is not completely sound!  It does not enforce
-distinctness of variable names in contexts!<P>
-
-For more information about the Lambda-Cube, see
-
-<UL>
-<LI>H. Barendregt<BR>
-    Introduction to Generalised Type Systems<BR>
-    J. Functional Programming
-</UL>
-</BODY>
-</HTML>