doc-src/gfx/isabelle_hol.pdf
author wenzelm
Sat, 30 May 2009 12:52:57 +0200
changeset 31299 0c5baf034d0e
parent 6616 eb87300379fe
permissions -rw-r--r--
modernized method setup;

(binary:application/pdf)