From 9374b8624501dcf7e64f69ae27ad4340628d88db Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 28 Oct 1998 18:20:31 +0000
Subject: Images for texi file

---
 doc/ProofGeneral.jpg | Bin 0 -> 5461 bytes
 doc/ProofGeneral.txt |   0
 2 files changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 doc/ProofGeneral.jpg
 create mode 100644 doc/ProofGeneral.txt

diff --git a/doc/ProofGeneral.jpg b/doc/ProofGeneral.jpg
new file mode 100644
index 00000000..2b23f03b
Binary files /dev/null and b/doc/ProofGeneral.jpg differ
diff --git a/doc/ProofGeneral.txt b/doc/ProofGeneral.txt
new file mode 100644
index 00000000..e69de29b
-- 
cgit v1.2.3