doc-src/gfx/isabelle.eps
changeset 5382 dfbe72ddbd2d
parent 5374 6ef3742b6153
child 5389 f8da956f59c4
equal deleted inserted replaced
5381:79f98b3136b9 5382:dfbe72ddbd2d
       
     1 %!PS-Adobe-2.0 EPSF-1.2
       
     2 %%Title: isabelle_hol
       
     3 %%Creator: FreeHand 5.5
       
     4 %%CreationDate: 17.11.1997 21:37 Uhr
       
     5 %%BoundingBox: 0 0 178 169
     1 %!PS-AdobeFont-1.0: ZapfHumanist601BT-Bold 003.001
     6 %!PS-AdobeFont-1.0: ZapfHumanist601BT-Bold 003.001
     2 %%CreationDate: Mon Jun 22 16:09:28 1992
     7 %%CreationDate: Mon Jun 22 16:09:28 1992
     3 %%VMusage: 35200 38400   
     8 %%VMusage: 35200 38400   
     4 % Bitstream Type 1 Font Program
     9 % Bitstream Type 1 Font Program
     5 % Copyright 1990-1992 as an unpublished work by Bitstream Inc., Cambridge, MA.
    10 % Copyright 1990-1992 as an unpublished work by Bitstream Inc., Cambridge, MA.