Icons for Generic Proof Mode.

David Aspinall <da@dcs.ed.ac.uk>

$Id$


Images in this directory were made with The Gimp.
Icons to fit on the (default size) Emacs toolbars are 32x32.