/ExSem.tex/1.6/Sun Aug 10 23:37:27 2003//Tdemo-y4
/prooftree.tex/1.1/Mon Jul 21 14:43:50 2003//Tdemo-y4
D
