../ README 23-Apr-2009 23:06 504 trivfloat.dtx 23-Apr-2009 23:06 22K trivfloat.ins 23-Apr-2009 23:06 2225 trivfloat.pdf 23-Apr-2009 20:50 141K