diff options
Diffstat (limited to 'html')
| -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 |
