diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-06-24 13:53:19 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-06-24 13:53:19 +0000 |
commit | a9c08e799500d19e9dcc9d9eb46a70f8478b8499 (patch) | |
tree | f38ea851a557bcde1d4352928c7cdf965df85854 /images/ProofGeneral.jpg | |
parent | 56bef7d39ad63ca18ec706613a0e99b524d5f367 (diff) |
Updates and new images
Diffstat (limited to 'images/ProofGeneral.jpg')
-rw-r--r-- | images/ProofGeneral.jpg | bin | 5461 -> 12002 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/images/ProofGeneral.jpg b/images/ProofGeneral.jpg Binary files differindex 2b23f03b..6d5bfbfe 100644 --- a/images/ProofGeneral.jpg +++ b/images/ProofGeneral.jpg |