../ doc/ 19-Jan-2019 03:28 - README 19-Jan-2019 03:13 2209 amsppt.sti 07-Aug-2001 13:00 2936 amsppt.sty 29-Aug-2001 22:57 47K amsppt1.tex 08-Aug-2001 01:17 5811 amssym.def 26-Jun-2009 00:01 4725 amssym.tex 26-Jun-2009 00:01 9155 amstex.bug 08-Aug-2001 01:39 28K amstex.ini 08-Aug-2001 01:12 2105 amstex.tex 05-Oct-2001 02:08 77K