../ verbdef.pdf 24-Feb-2010 03:25 62K verbdef.sty 06-Oct-2000 18:39 2344 verbdef.tex 24-Feb-2010 03:25 1841