../ Makefile-dist 22-Apr-1995 07:00 900 README 02-Dec-1995 07:00 1689 Uarrsy.fd 02-Dec-1995 07:00 231 arrsy.mf 22-Apr-1995 07:00 5960 arrsy.sty 27-Dec-1995 07:00 5126 arrsy.tex 22-Apr-1995 07:00 4003 arrsy10.mf 22-Apr-1995 07:00 911 arrsym.mf 22-Apr-1995 07:00 17227 patchlevel_19 09-Jun-1996 07:00 12 symbols.ps 22-Apr-1995 07:00 17435 symbols.tex 22-Apr-1995 07:00 786