diff options
Diffstat (limited to 'images')
-rw-r--r-- | images/ProofGeneral-image.gif (renamed from images/ProofGeneral.gif) | bin | 18165 -> 18165 bytes |
-rw-r--r-- | images/ProofGeneral-image.jpg (renamed from images/ProofGeneral.jpg) | bin | 16123 -> 16123 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/images/ProofGeneral.gif b/images/ProofGeneral-image.gif Binary files differindex 4f83fb95..4f83fb95 100644 --- a/images/ProofGeneral.gif +++ b/images/ProofGeneral-image.gif diff --git a/images/ProofGeneral.jpg b/images/ProofGeneral-image.jpg Binary files differindex d2c430cd..d2c430cd 100644 --- a/images/ProofGeneral.jpg +++ b/images/ProofGeneral-image.jpg |