rwxr-xr-x 4273/0 0 Jul 22 20:04 1993 lisp3/ rw-r--r-- 4273/0 1673 Jul 22 20:04 1993 lisp3/18micro.exp rw-r--r-- 4273/0 3276 Jul 22 20:04 1993 lisp3/18micro.lsp rw-r--r-- 4273/0 185 Jul 22 20:04 1993 lisp3/18micro.ref rw-r--r-- 4273/0 488 Jul 22 20:04 1993 lisp3/19search.exp rw-r--r-- 4273/0 3863 Jul 22 20:04 1993 lisp3/19search.lsp rw-r--r-- 4273/0 326 Jul 22 20:04 1993 lisp3/19search.ref rw-r--r-- 4273/0 723 Jul 22 20:04 1993 lisp3/20simula.dta rw-r--r-- 4273/0 567 Jul 22 20:04 1993 lisp3/20simula.exp rw-r--r-- 4273/0 3583 Jul 22 20:04 1993 lisp3/20simula.lsp rw-r--r-- 4273/0 427 Jul 22 20:04 1993 lisp3/20simula.ref rw-r--r-- 4273/0 994 Jul 22 20:04 1993 lisp3/21blocks.dta rw-r--r-- 4273/0 652 Jul 22 20:04 1993 lisp3/21blocks.exp rw-r--r-- 4273/0 6342 Jul 22 20:04 1993 lisp3/21blocks.lsp rw-r--r-- 4273/0 1563 Jul 22 20:04 1993 lisp3/21blocks.ref rw-r--r-- 4273/0 798 Jul 22 20:04 1993 lisp3/22goals.exp rw-r--r-- 4273/0 4350 Jul 22 20:04 1993 lisp3/22goals.lsp rw-r--r-- 4273/0 1520 Jul 22 20:04 1993 lisp3/22goals.ref rw-r--r-- 4273/0 3872 Jul 22 20:04 1993 lisp3/23constr.exp rw-r--r-- 4273/0 5357 Jul 22 20:04 1993 lisp3/23constr.lsp rw-r--r-- 4273/0 2284 Jul 22 20:04 1993 lisp3/23constr.ref rw-r--r-- 4273/0 1615 Jul 22 20:04 1993 lisp3/24matchi.exp rw-r--r-- 4273/0 5154 Jul 22 20:04 1993 lisp3/24matchi.lsp rw-r--r-- 4273/0 356 Jul 22 20:04 1993 lisp3/24matchi.ref rw-r--r-- 4273/0 882 Jul 22 20:04 1993 lisp3/25stream.exp rw-r--r-- 4273/0 3210 Jul 22 20:04 1993 lisp3/25stream.lsp rw-r--r-- 4273/0 168 Jul 22 20:04 1993 lisp3/25stream.ref rw-r--r-- 4273/0 3368 Jul 22 20:04 1993 lisp3/26forwar.dta rw-r--r-- 4273/0 586 Jul 22 20:04 1993 lisp3/26forwar.exp rw-r--r-- 4273/0 3688 Jul 22 20:04 1993 lisp3/26forwar.lsp rw-r--r-- 4273/0 395 Jul 22 20:04 1993 lisp3/26forwar.ref rw-r--r-- 4273/0 1153 Jul 22 20:04 1993 lisp3/27backwa.dta rw-r--r-- 4273/0 793 Jul 22 20:04 1993 lisp3/27backwa.exp rw-r--r-- 4273/0 5447 Jul 22 20:04 1993 lisp3/27backwa.lsp rw-r--r-- 4273/0 346 Jul 22 20:04 1993 lisp3/27backwa.ref rw-r--r-- 4273/0 2732 Jul 22 20:04 1993 lisp3/28interp.dta rw-r--r-- 4273/0 972 Jul 22 20:04 1993 lisp3/28interp.exp rw-r--r-- 4273/0 4347 Jul 22 20:04 1993 lisp3/28interp.lsp rw-r--r-- 4273/0 409 Jul 22 20:04 1993 lisp3/28interp.ref rw-r--r-- 4273/0 2744 Jul 22 20:04 1993 lisp3/29compil.dta rw-r--r-- 4273/0 966 Jul 22 20:04 1993 lisp3/29compil.exp rw-r--r-- 4273/0 2110 Jul 22 20:04 1993 lisp3/29compil.lsp rw-r--r-- 4273/0 409 Jul 22 20:04 1993 lisp3/29compil.ref rw-r--r-- 4273/0 615 Jul 22 20:04 1993 lisp3/30databa.dta rw-r--r-- 4273/0 726 Jul 22 20:04 1993 lisp3/30databa.exp rw-r--r-- 4273/0 3655 Jul 22 20:04 1993 lisp3/30databa.lsp rw-r--r-- 4273/0 1223 Jul 22 20:04 1993 lisp3/30databa.ref rw-r--r-- 4273/0 1416 Jul 22 20:04 1993 lisp3/31stars.exp rw-r--r-- 4273/0 13178 Jul 22 20:04 1993 lisp3/31stars.lsp rw-r--r-- 4273/0 306 Jul 22 20:04 1993 lisp3/31stars.ref rw-r--r-- 4273/0 2897 Jul 22 20:04 1993 lisp3/32mathem.exp rw-r--r-- 4273/0 11605 Jul 22 20:04 1993 lisp3/32mathem.lsp rw-r--r-- 4273/0 259 Jul 22 20:04 1993 lisp3/32mathem.ref rw-r--r-- 4273/0 11889 Jul 22 20:04 1993 lisp3/clos.lsp rw-r--r-- 4273/0 4258 Jul 22 20:04 1993 lisp3/readme.txt