From 435917ecfaf7aad69307e91046d700c88aece01e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 24 Jun 1999 14:07:50 +0000
Subject: New image

---
 html/ProofGeneral.jpg | Bin 5461 -> 12002 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)

(limited to 'html')

diff --git a/html/ProofGeneral.jpg b/html/ProofGeneral.jpg
index 2b23f03b..6d5bfbfe 100644
Binary files a/html/ProofGeneral.jpg and b/html/ProofGeneral.jpg differ
-- 
cgit v1.2.3