From 017e9392510d504fd57458c08023a809ace47017 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 24 Jun 1999 13:46:35 +0000
Subject: Replaces .eps file

---
 doc/ProofGeneral.eps.gz | Bin 0 -> 1646905 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 doc/ProofGeneral.eps.gz

diff --git a/doc/ProofGeneral.eps.gz b/doc/ProofGeneral.eps.gz
new file mode 100644
index 00000000..97feb1a4
Binary files /dev/null and b/doc/ProofGeneral.eps.gz differ
-- 
cgit v1.2.3