/commands.tex/1.1.2.1/Tue Aug  6 12:22:33 1996//THOL97
/simp.tex/1.1.2.6.2.3/Wed Jul 16 17:09:47 1997//THOL97
