../ doc/ 22-Apr-2024 19:38 - README 22-Apr-2024 19:38 2209 amsppt.sti 22-Apr-2024 19:38 2936 amsppt.sty 22-Apr-2024 19:38 48544 amsppt1.tex 22-Apr-2024 19:38 5811 amssym.def 22-Apr-2024 19:38 4725 amssym.tex 22-Apr-2024 19:38 9155 amstex.bug 22-Apr-2024 19:38 28968 amstex.ini 22-Apr-2024 19:38 2105 amstex.tex 22-Apr-2024 19:38 78920