doc-src/TutorialI/pghead.pdf
author paulson
Wed May 25 10:32:20 2005 +0200 (2005-05-25)
changeset 16072 d8a6afbb71ec
child 16086 a14371ea0779
permissions -rw-r--r--
new environments for Proof General notes
paulson@16072
     1
(binary:application/pdf)