Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
ERRATA | 1994-01-03 10:58 | 18K | ||
ORDERING | 1994-01-03 10:58 | 1.7K | ||
ambigmath.cl | 1999-10-29 15:07 | 6.5K | ||
auxfns.lisp | 2004-01-21 11:43 | 19K | ||
auxfns.orig | 1992-08-25 11:50 | 18K | ||
auxmacs.lisp | 1994-01-03 10:58 | 1.8K | ||
btypecheck.lisp | 1999-09-29 10:16 | 8.7K | ||
cfparser.ps | 1999-08-17 11:55 | 755K | ||
cfparser.tex | 1999-08-17 11:54 | 21K | ||
clos.dat | 1994-01-03 10:58 | 9.8K | ||
clos.lisp | 1994-01-03 10:59 | 3.0K | ||
cmacsyma.dat | 1994-01-03 10:59 | 1.2K | ||
cmacsyma.lisp | 1994-01-03 10:59 | 13K | ||
compile.dat | 1994-01-03 10:59 | 5.5K | ||
compile1.lisp | 1995-03-02 08:34 | 4.8K | ||
compile2.lisp | 1994-01-03 10:59 | 9.0K | ||
compile3.lisp | 1994-01-03 10:59 | 14K | ||
compopt.lisp | 1994-01-03 10:59 | 2.2K | ||
defsubst.lisp | 1999-03-11 16:26 | 1.0K | ||
edge-tab.lisp | 1994-01-03 10:59 | 226 | ||
eliza-pm.lisp | 2004-06-10 10:13 | 688 | ||
eliza.lisp | 2004-06-10 10:12 | 6.5K | ||
eliza1.lisp | 1994-01-03 10:59 | 7.6K | ||
gps-srch.dat | 1994-01-03 10:59 | 673 | ||
gps-srch.lisp | 1994-01-03 10:59 | 1.2K | ||
gps.dat | 1994-01-03 10:59 | 6.7K | ||
gps.lisp | 1999-01-28 10:21 | 8.4K | ||
gps1.dat | 1994-01-03 10:59 | 1.2K | ||
gps1.lisp | 1994-01-03 10:59 | 2.1K | ||
grammar.dat | 1994-01-03 10:59 | 4.4K | ||
grammar.lisp | 1994-01-03 10:59 | 17K | ||
interp1.dat | 1994-01-03 10:59 | 1.7K | ||
interp1.lisp | 1995-03-02 08:39 | 6.1K | ||
interp2.lisp | 1994-01-03 10:59 | 2.3K | ||
interp3.dat | 1994-01-03 10:59 | 2.3K | ||
interp3.lisp | 1994-01-03 10:59 | 3.3K | ||
intro.lisp | 1994-01-03 10:59 | 3.5K | ||
krep.lisp | 1994-01-03 10:59 | 9.5K | ||
krep1.dat | 1994-01-03 10:59 | 925 | ||
krep1.lisp | 1994-01-03 10:59 | 5.8K | ||
krep2.lisp | 1994-01-03 10:59 | 5.4K | ||
lexicon.lisp | 1994-01-03 10:59 | 6.7K | ||
loop.lisp | 1994-01-03 10:59 | 9.6K | ||
macsyma.dat | 1994-01-03 10:59 | 2.5K | ||
macsyma.lisp | 1994-01-03 10:59 | 9.4K | ||
macsymar.lisp | 1999-02-23 15:45 | 2.6K | ||
1992-10-07 17:36 | 841 | |||
mathamb.cl | 1999-10-29 15:06 | 28K | ||
mycin-r.lisp | 1994-01-03 10:59 | 2.3K | ||
mycin.dat | 1994-01-03 10:59 | 2.5K | ||
mycin.lisp | 1994-01-03 10:59 | 14K | ||
nmacsyma.fasl | 1999-02-26 13:52 | 33K | ||
nmacsyma.lisp | 1999-02-26 13:42 | 9.6K | ||
npermpipe.lisp | 1992-09-26 21:11 | 1.4K | ||
othello.dat | 1994-01-03 10:59 | 6.2K | ||
othello.lisp | 1994-01-03 10:59 | 16K | ||
othello2.lisp | 1994-01-03 10:59 | 14K | ||
overview.lisp | 1994-01-03 10:59 | 9.1K | ||
patmatch.dat | 1994-01-03 10:59 | 1.2K | ||
patmatch.lisp | 1994-01-03 10:59 | 7.8K | ||
patmatchback.lisp | 1992-10-01 23:34 | 7.6K | ||
patmatchrjf.lisp | 1992-09-24 23:00 | 8.4K | ||
patrjfnew.lisp | 1992-09-28 21:57 | 15K | ||
patvar.lisp | 1999-03-10 13:11 | 164 | ||
permpipe.lisp | 1992-09-26 21:11 | 1.4K | ||
prolog.dat | 1994-01-03 10:59 | 3.0K | ||
prolog.lisp | 1999-03-10 14:21 | 4.5K | ||
prolog1.dat | 1994-01-03 10:59 | 803 | ||
prolog1.lisp | 1994-01-03 10:59 | 3.7K | ||
prologc.dat | 1994-01-03 10:59 | 1.4K | ||
prologc.lisp | 1999-03-12 14:30 | 14K | ||
prologc1.dat | 1994-01-03 10:59 | 1.0K | ||
prologc1.lisp | 1994-01-03 10:59 | 5.8K | ||
prologc2.dat | 1994-01-03 10:59 | 1.5K | ||
prologc2.lisp | 1994-01-03 10:59 | 6.7K | ||
prologcp.lisp | 1999-03-12 14:31 | 4.4K | ||
search.dat | 1994-01-03 10:59 | 4.2K | ||
search.lisp | 1994-01-03 10:59 | 11K | ||
simple.lisp | 1994-01-03 10:59 | 3.7K | ||
student.dat | 1994-01-03 10:59 | 4.2K | ||
student.lisp | 2004-11-22 16:10 | 7.2K | ||
syntax1.dat | 1994-01-03 10:59 | 2.5K | ||
syntax1.lisp | 1999-04-20 13:45 | 5.5K | ||
syntax2.dat | 1994-01-03 10:59 | 672 | ||
syntax2.lisp | 1999-07-02 14:41 | 8.2K | ||
syntax2m.dat | 1999-05-10 11:16 | 756 | ||
syntax3.dat | 1994-01-03 10:59 | 3.6K | ||
syntax3.lisp | 1994-01-03 10:59 | 8.7K | ||
typecheck.lisp | 1999-09-29 16:00 | 9.8K | ||
unifgram.dat | 1994-01-03 10:59 | 7.6K | ||
unifgram.lisp | 1994-01-03 10:59 | 6.1K | ||
unify.lisp | 1995-04-19 16:29 | 2.1K | ||
waltz.dat | 1994-01-03 10:59 | 2.6K | ||
waltz.lisp | 1994-01-03 10:59 | 9.3K | ||
warfield.cl | 1999-10-29 15:01 | 6.5K | ||