--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/Prolog/README.html	Fri Jun 02 12:44:04 2000 +0200
@@ -0,0 +1,13 @@
+<!-- $Id$ -->
+<HTML><HEAD>
+<TITLE>HOL/Prolog/README</TITLE>
+</HEAD><BODY>
+
+<H2>Prolog -- A bare-bones implementation of Lambda-Prolog</H2>
+
+This is a simple exploratory implementatin of 
+<A HREF="http://www.cse.psu.edu/~dale/lProlog/">Lambda-Prolog</A> in HOL,
+including some minimal examples (in Test.thy) and a more typical example
+of a little functional language and its type system.
+
+</BODY></HTML>