/ags.sty/1.1.1.1/Tue Jun 29 16:38:28 2004//
/dkdefs.sty/1.1.1.1/Tue Jun 29 16:38:28 2004//
/header.tex/1.1.1.1/Tue Jun 29 16:38:28 2004//
/kleene.sty/1.1.1.1/Tue Jun 29 16:38:28 2004//
/proof.sty/1.1.1.1/Tue Jun 29 16:38:28 2004//
D
