rwxr-xr-x 4273/0      0 Jan  4 14:57 1994 mop_spec/
rw-r--r-- 4273/0 2218515 Jul 22 20:57 1993 mop_spec/spec.ps
rw-r--r-- 4273/0    587 Apr 19 21:09 1991 mop_spec/references.tex
rw-r--r-- 4273/0   2540 Apr 19 21:09 1991 mop_spec/spec-preface.tex
rw-r--r-- 4273/0  28984 Apr 19 21:09 1991 mop_spec/spec.aux
rw-r--r-- 4273/0  15485 Apr 19 21:09 1991 mop_spec/spec.sty
rw-r--r-- 4273/0    827 Apr 22 16:20 1991 mop_spec/spec.tex
rw-r--r-- 4273/0   4996 Apr 19 21:09 1991 mop_spec/spec.toc
rw-r--r-- 4273/0  64040 Apr 19 21:09 1991 mop_spec/spec1.tex
rw-r--r-- 4273/0 147798 Apr 19 21:09 1991 mop_spec/spec2.tex