From 2b2de25d78772a6883034d94539b3467a3337e93 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 25 Aug 2004 11:30:25 +0000
Subject: New files.

---
 lib/README | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 lib/README

diff --git a/lib/README b/lib/README
new file mode 100644
index 00000000..776d8d7a
--- /dev/null
+++ b/lib/README
@@ -0,0 +1,5 @@
+This directory contains general library lisp files.  
+
+Some of these have been developed as part of the Proof General
+project; others have been taken from other sources.  See individual
+files for  copyright holder and license details.
-- 
cgit v1.2.3