doc-src/gfx/isabelle_zf.pdf
1999-05-07 wenzelm 1999-05-07 pdf pics;