rwxr-xr-x 2114/2114 0 Aug 14 14:23 1992 ./mma.src/ rw-r--r-- 2114/2114 2443 Oct 4 11:38 1991 ./mma.src/mma.mailer rw-rw-r-- 2114/2114 33477 Mar 20 18:18 1992 ./mma.src/parser.lisp rw-r--r-- 2114/2114 19823 Nov 25 11:57 1991 ./mma.src/poly.lisp rw-r--r-- 2114/2114 4021 Feb 18 13:50 1991 ./mma.src/primeq.lisp rw-r--r-- 2114/2114 1526 Nov 20 17:01 1991 ./mma.src/ucons1.lisp rw-rw-r-- 2114/2114 976 Nov 25 12:05 1991 ./mma.src/lucid.README rw-r--r-- 2114/2114 283 Apr 12 14:55 1992 ./mma.src/init2.lisp rw-r--r-- 2114/2114 5109 Aug 14 14:19 1992 ./mma.src/README rw-rw-r-- 2114/2114 20977 Nov 25 11:52 1991 ./mma.src/eval.lisp rw-r--r-- 2114/2114 19324 Feb 18 13:50 1991 ./mma.src/rat1.lisp rw-r--r-- 2114/2114 23629 Apr 21 20:20 1992 ./mma.src/match.lisp rw-r--r-- 2114/2114 28324 Apr 12 14:44 1992 ./mma.src/pf.lisp rw-r--r-- 2114/2114 17906 Feb 18 13:49 1991 ./mma.src/eval2.lisp rw-r--r-- 2114/2114 8532 Apr 12 15:45 1992 ./mma.src/hcons.lisp rw-rw-r-- 2114/2114 1155 Aug 14 14:11 1992 ./mma.src/copyright rw-r--r-- 2114/2114 8343 Apr 12 14:52 1992 ./mma.src/simp1.lisp rw-r--r-- 2114/2114 18861 Apr 12 14:45 1992 ./mma.src/diffrat.lisp rw-r--r-- 2114/2114 3723 Feb 18 13:50 1991 ./mma.src/stack1.lisp rw-r--r-- 2114/2114 9706 Apr 12 14:39 1992 ./mma.src/disp1.lisp rw-r--r-- 2114/2114 271 Apr 12 14:42 1992 ./mma.src/init.lisp rw-rw-r-- 2114/2114 3463 Apr 21 20:20 1992 ./mma.src/kcl.readme rw-rw-r-- 2114/2114 3229 Aug 14 14:24 1992 ./mma.src/mma.README rw-r--r-- 2114/2114 23955 Feb 18 13:49 1991 ./mma.src/match16.lisp rw-r--r-- 2114/2114 1882 Apr 12 14:58 1992 ./mma.src/mma.lisp rw-r--r-- 2114/2114 1898 Apr 12 14:57 1992 ./mma.src/uconsalt.lisp rw-rw-r-- 2114/2114 35144 Apr 12 15:10 1992 ./mma.src/poly.fasl