From c4ede38812c129e988d9785461b9b4b79e7096e2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 10 Sep 1998 15:58:19 +0000
Subject: We seduce our audience by fancy pictures and words

---
 html/ProofGeneral.jpg | Bin 0 -> 8997 bytes
 html/vh40.gif         | Bin 0 -> 906 bytes
 2 files changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 html/ProofGeneral.jpg
 create mode 100644 html/vh40.gif

(limited to 'html')

diff --git a/html/ProofGeneral.jpg b/html/ProofGeneral.jpg
new file mode 100644
index 00000000..eccf0312
Binary files /dev/null and b/html/ProofGeneral.jpg differ
diff --git a/html/vh40.gif b/html/vh40.gif
new file mode 100644
index 00000000..c5e9402e
Binary files /dev/null and b/html/vh40.gif differ
-- 
cgit v1.2.3