../ foilhtml.dtx 17-Feb-1998 07:00 60K foilhtml.ins 17-Feb-1998 07:00 1466 readme.v12 17-Feb-1998 07:00 3160