/Makefile/1.1/Wed May 28 09:42:04 2003//Tdemo-y4
/SertExamples.ps/1.1/Mon Jul 14 12:35:49 2003//Tdemo-y4
/SertExamples.tex/1.1/Mon Jul 14 12:35:17 2003//Tdemo-y4
/davemisc.sty/1.1/Wed May 28 09:42:23 2003//Tdemo-y4
/davesrcs.sty/1.1/Wed May 28 09:42:23 2003//Tdemo-y4
/informal.ps/1.5/Wed Jul  9 20:58:44 2003//Tdemo-y4
/informal.tex/1.8/Wed Jul  9 20:58:44 2003//Tdemo-y4
/infrule.sty/1.1/Wed May 28 09:41:53 2003//Tdemo-y4
/root.bib/1.1/Wed May 28 10:01:22 2003//Tdemo-y4
/root.tex/1.1/Wed May 28 10:01:22 2003//Tdemo-y4
D
