doc-src/TutorialI/pghead.pdf
author paulson
Thu May 26 10:02:01 2005 +0200 (2005-05-26)
changeset 16086 a14371ea0779
parent 16072 d8a6afbb71ec
child 16383 7dd0eb6e89f9
permissions -rw-r--r--
Narrower version of the Proof General's head
     1 (binary:application/pdf)