src/LCF/ROOT

--- a/src/LCF/ROOT	Tue Mar 12 20:03:04 2013 +0100
+++ b/src/LCF/ROOT	Tue Mar 12 21:59:48 2013 +0100
@@ -4,6 +4,11 @@
   description {*
     Author:     Tobias Nipkow
     Copyright   1992  University of Cambridge
+
+    Logic for Computable Functions.
+
+    Useful references on LCF: Lawrence C. Paulson,
+    Logic and Computation: Interactive proof with Cambridge LCF (CUP, 1987)
   *}
   options [document = false]
   theories LCF