/auto_inst.tex/1.1/Wed Nov 17 14:57:11 1999//
D/auto_inst////
/auto_inst.html/1.2/Mon Jan  3 18:53:14 2000//
