diff options
| author | David Aspinall | 1998-09-10 15:58:19 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-10 15:58:19 +0000 |
| commit | c4ede38812c129e988d9785461b9b4b79e7096e2 (patch) | |
| tree | 188599d4e2600af1cec087dfb6bc2e5ccbf6b600 | |
| parent | 5b5ae147142ab06ac77cf5da4405e63346a3ed16 (diff) | |
We seduce our audience by fancy pictures and words
| -rw-r--r-- | html/ProofGeneral.jpg | bin | 0 -> 8997 bytes |
| -rw-r--r-- | html/vh40.gif | bin | 0 -> 906 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/html/ProofGeneral.jpg b/html/ProofGeneral.jpg Binary files differnew file mode 100644 index 00000000..eccf0312 --- /dev/null +++ b/html/ProofGeneral.jpg diff --git a/html/vh40.gif b/html/vh40.gif Binary files differnew file mode 100644 index 00000000..c5e9402e --- /dev/null +++ b/html/vh40.gif |
