/commands.tex/1.1.2.1/Tue Aug  6 12:22:33 1996//THOL97
/simp.tex/1.1.2.6.2.4/Mon Feb 23 20:42:45 1998//THOL97
