From f7e819c7b8f8d09b59bd0f5bb8ed26fec58aaec9 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Sat, 23 Sep 2000 16:49:59 +0000
Subject: Add prover-specific logo rather than generic ones...

---
 html/images/isabelle.gif | Bin 0 -> 2477 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 html/images/isabelle.gif

(limited to 'html/images/isabelle.gif')

diff --git a/html/images/isabelle.gif b/html/images/isabelle.gif
new file mode 100644
index 00000000..171b2101
Binary files /dev/null and b/html/images/isabelle.gif differ
-- 
cgit v1.2.3