From 95c23599f31419bef3ae16c51611848df94f3763 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 8 Feb 2004 15:22:18 +0000
Subject: Deleted file

---
 papers/README | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 papers/README

diff --git a/papers/README b/papers/README
deleted file mode 100644
index 8d106538..00000000
--- a/papers/README
+++ /dev/null
@@ -1,4 +0,0 @@
-Papers are not included with the distribution at the moment.
-
-Please look under "Documentation" on the Proof General home page,
-http://www.proofgeneral.org
-- 
cgit v1.2.3