doc-src/gfx/isabelle_hol.eps

--- a/doc-src/gfx/isabelle_hol.eps	Wed Aug 26 18:41:00 1998 +0200
+++ b/doc-src/gfx/isabelle_hol.eps	Thu Aug 27 11:19:35 1998 +0200
@@ -1,3 +1,8 @@
+%!PS-Adobe-2.0 EPSF-1.2
+%%Title: isabelle_hol
+%%Creator: FreeHand 5.5
+%%CreationDate: 17.11.1997 21:36 Uhr
+%%BoundingBox: 0 0 178 169
 %!PS-AdobeFont-1.0: ZapfHumanist601BT-Bold 003.001
 %%CreationDate: Mon Jun 22 16:09:28 1992
 %%VMusage: 35200 38400