From 0631d015a313d4d3b7ceda03f61ffe7eaee296ae Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 7 Oct 1998 15:59:36 +0000 Subject: Added to repository for convenience. --- images/ProofGeneral.gif | Bin 0 -> 5964 bytes images/text_general.gif | Bin 0 -> 2309 bytes images/text_proof.gif | Bin 0 -> 1904 bytes 3 files changed, 0 insertions(+), 0 deletions(-) create mode 100644 images/ProofGeneral.gif create mode 100644 images/text_general.gif create mode 100644 images/text_proof.gif (limited to 'images') diff --git a/images/ProofGeneral.gif b/images/ProofGeneral.gif new file mode 100644 index 00000000..92cd79e1 Binary files /dev/null and b/images/ProofGeneral.gif differ diff --git a/images/text_general.gif b/images/text_general.gif new file mode 100644 index 00000000..10e5b41b Binary files /dev/null and b/images/text_general.gif differ diff --git a/images/text_proof.gif b/images/text_proof.gif new file mode 100644 index 00000000..7e9f346a Binary files /dev/null and b/images/text_proof.gif differ -- cgit v1.2.3