Index of /ltd/test
Name Last modified Size Description
Parent Directory 24-Jul-2005 02:43 -
LINNEUS.dylan 01-Mar-1996 01:12 8k
LINNEUS.lisp 15-Feb-1996 19:33 7k
PROVER.dylan 01-Mar-1996 01:12 8k
PROVER.lisp 15-Feb-1996 19:33 8k
RAMER.dylan 01-Mar-1996 01:12 4k
RAMER.lisp 15-Feb-1996 19:34 4k
TEST.dylan 01-Mar-1996 01:11 5k
TEST.lisp 16-Feb-1996 19:58 4k
aima-dtp.dylan 01-Mar-1996 01:15 4k
aima-dtp.lisp 27-Feb-1996 21:28 3k
answers.dylan 01-Mar-1996 01:15 7k
answers.lisp 27-Feb-1996 21:28 7k
atms.dylan 01-Mar-1996 01:12 26k
atms.lisp 15-Feb-1996 19:20 18k
auxfns.dylan 01-Mar-1996 01:11 21k
auxfns.lisp 06-Feb-1996 23:15 20k
backprop.dylan 01-Mar-1996 01:13 26k
backprop.lisp 15-Feb-1996 19:31 17k
backtrack.dylan 01-Mar-1996 01:15 4k
backtrack.lisp 27-Feb-1996 21:28 5k
backward.dylan 01-Mar-1996 01:13 11k
backward.lisp 15-Feb-1996 19:39 9k
below.dylan 01-Mar-1996 01:15 10k
below.lisp 27-Feb-1996 21:28 8k
binding-dag.dylan 01-Mar-1996 01:15 6k
binding-dag.lisp 27-Feb-1996 21:28 6k
bindings.dylan 01-Mar-1996 01:15 12k
bindings.lisp 27-Feb-1996 21:28 4k
caching.dylan 01-Mar-1996 01:15 9k
caching.lisp 27-Feb-1996 21:28 11k
classes.dylan 01-Mar-1996 01:15 9k
classes.lisp 27-Feb-1996 21:28 7k
clauses.dylan 01-Mar-1996 01:15 11k
clauses.lisp 27-Feb-1996 21:28 8k
clos.dylan 01-Mar-1996 01:11 3k
clos.lisp 06-Feb-1996 23:15 3k
cmacsyma.dylan 01-Mar-1996 01:12 15k
cmacsyma.lisp 06-Feb-1996 23:15 13k
cnf.dylan 01-Mar-1996 01:15 10k
cnf.lisp 27-Feb-1996 21:28 7k
compile1.dylan 01-Mar-1996 01:12 7k
compile1.lisp 06-Feb-1996 23:15 5k
compile2.dylan 01-Mar-1996 01:12 10k
compile2.lisp 06-Feb-1996 23:15 9k
compile3.dylan 01-Mar-1996 01:12 18k
compile3.lisp 06-Feb-1996 23:15 14k
compopt.dylan 01-Mar-1996 01:12 3k
compopt.lisp 06-Feb-1996 23:15 2k
conjunct.dylan 01-Mar-1996 01:15 8k
conjunct.lisp 27-Feb-1996 21:28 9k
conjunctions.dylan 01-Mar-1996 01:15 7k
conjunctions.lisp 27-Feb-1996 21:28 9k
database.dylan 01-Mar-1996 01:15 16k
database.lisp 27-Feb-1996 21:28 8k
delta.dylan 01-Mar-1996 01:13 26k
delta.lisp 15-Feb-1996 18:47 24k
diffrat.dylan 01-Mar-1996 01:16 24k
diffrat.lisp 27-Feb-1996 22:20 19k
disp1.dylan 01-Mar-1996 01:16 13k
disp1.lisp 27-Feb-1996 22:20 10k
eliza-pm.dylan 01-Mar-1996 01:12 1k
eliza-pm.lisp 06-Feb-1996 23:15 1k
eliza.dylan 01-Mar-1996 01:12 12k
eliza.lisp 06-Feb-1996 23:15 6k
eliza1.dylan 01-Mar-1996 01:12 9k
eliza1.lisp 06-Feb-1996 23:15 8k
epikit-dtp.dylan 01-Mar-1996 01:15 3k
epikit-dtp.lisp 27-Feb-1996 21:28 2k
eval.dylan 01-Mar-1996 01:16 23k
eval.lisp 27-Feb-1996 22:20 20k
file.dylan 01-Mar-1996 01:15 3k
file.lisp 27-Feb-1996 21:28 2k
fork.dylan 01-Mar-1996 01:15 5k
fork.lisp 27-Feb-1996 21:28 7k
frules.dylan 01-Mar-1996 01:13 11k
frules.lisp 15-Feb-1996 19:25 9k
gps-srch.dylan 01-Mar-1996 01:12 2k
gps-srch.lisp 06-Feb-1996 23:15 1k
gps.dylan 01-Mar-1996 01:12 10k
gps.lisp 06-Feb-1996 23:15 8k
gps1.dylan 01-Mar-1996 01:12 3k
gps1.lisp 06-Feb-1996 23:15 2k
graph-unify.dylan 01-Mar-1996 01:14 29k
graph-unify.lisp 15-Feb-1996 19:30 23k
hierarchy.dylan 01-Mar-1996 01:15 6k
hierarchy.lisp 27-Feb-1996 21:28 5k
init.dylan 01-Mar-1996 01:16 1k
init.lisp 27-Feb-1996 22:20 1k
init2.dylan 01-Mar-1996 01:16 2k
init2.lisp 27-Feb-1996 22:20 1k
internals.dylan 01-Mar-1996 01:15 7k
internals.lisp 27-Feb-1996 21:28 5k
interp1.dylan 01-Mar-1996 01:12 9k
interp1.lisp 06-Feb-1996 23:15 6k
interp2.dylan 01-Mar-1996 01:12 3k
interp2.lisp 06-Feb-1996 23:15 2k
interp3.dylan 01-Mar-1996 01:12 4k
interp3.lisp 06-Feb-1996 23:15 3k
intro.dylan 01-Mar-1996 01:12 4k
intro.lisp 06-Feb-1996 23:15 4k
jsaint.dylan 01-Mar-1996 01:13 16k
jsaint.lisp 15-Feb-1996 19:26 14k
jtms.dylan 01-Mar-1996 01:14 19k
jtms.lisp 15-Feb-1996 19:25 15k
kd.dylan 01-Mar-1996 01:13 16k
kd.lisp 15-Feb-1996 19:38 11k
krep.dylan 01-Mar-1996 01:12 12k
krep.lisp 06-Feb-1996 23:15 9k
krep1.dylan 01-Mar-1996 01:12 6k
krep1.lisp 06-Feb-1996 23:15 6k
krep2.dylan 01-Mar-1996 01:12 6k
krep2.lisp 06-Feb-1996 23:15 5k
labels.dylan 01-Mar-1996 01:15 5k
labels.lisp 27-Feb-1996 21:28 4k
lcp.dylan 01-Mar-1996 01:14 19k
lcp.lisp 15-Feb-1996 19:27 15k
lexicon.dylan 01-Mar-1996 01:12 9k
lexicon.lisp 06-Feb-1996 23:15 7k
library.dylan 01-Mar-1996 01:14 15k
library.lisp 15-Feb-1996 19:04 13k
literals.dylan 01-Mar-1996 01:15 15k
literals.lisp 27-Feb-1996 21:28 11k
macsyma.dylan 01-Mar-1996 01:12 13k
macsyma.lisp 06-Feb-1996 23:15 10k
macsymar.dylan 01-Mar-1996 01:12 7k
macsymar.lisp 06-Feb-1996 23:15 3k
match.dylan 01-Mar-1996 01:14 41k
match.lisp 27-Feb-1996 21:28 35k
match16.dylan 01-Mar-1996 01:16 24k
match16.lisp 27-Feb-1996 22:20 23k
mcchef.dylan 01-Mar-1996 01:14 13k
mcchef.lisp 15-Feb-1996 19:30 11k
mcmops.dylan 01-Mar-1996 01:14 15k
mcmops.lisp 15-Feb-1996 19:29 13k
micro-tale-spin.dylan 01-Mar-1996 01:15 66k
micro-tale-spin.lisp 15-Feb-1996 21:38 54k
misc-inference.dylan 01-Mar-1996 01:15 1k
misc-inference.lisp 27-Feb-1996 21:28 1k
mma-match.dylan 01-Mar-1996 01:16 24k
mma-match.lisp 06-Jan-1995 02:43 23k
mma.dylan 01-Mar-1996 01:16 2k
mma.lisp 27-Feb-1996 22:20 2k
mycin.dylan 01-Mar-1996 01:12 19k
mycin.lisp 06-Feb-1996 23:15 14k
n-puzzle.dylan 01-Mar-1996 01:14 14k
n-puzzle.lisp 15-Feb-1996 19:31 12k
onlisp.dylan 01-Mar-1996 01:14 78k
onlisp.lisp 15-Feb-1996 19:35 56k
ordering.dylan 01-Mar-1996 01:15 5k
ordering.lisp 27-Feb-1996 21:28 4k
othello.dylan 01-Mar-1996 01:12 20k
othello.lisp 06-Feb-1996 23:15 16k
othello2.dylan 01-Mar-1996 01:12 16k
othello2.lisp 06-Feb-1996 23:15 14k
output.dylan 01-Mar-1996 01:15 9k
output.lisp 27-Feb-1996 21:28 6k
overview.dylan 01-Mar-1996 01:13 11k
overview.lisp 06-Feb-1996 23:15 9k
parser.dylan 01-Mar-1996 01:16 52k
parser.lisp 27-Feb-1996 22:20 36k
patmatch.dylan 01-Mar-1996 01:13 9k
patmatch.lisp 06-Feb-1996 23:15 8k
pf.dylan 01-Mar-1996 01:16 34k
pf.lisp 27-Feb-1996 22:20 31k
poly.dylan 01-Mar-1996 01:16 21k
poly.lisp 27-Feb-1996 22:20 21k
primeq.dylan 01-Mar-1996 01:16 4k
primeq.lisp 27-Feb-1996 22:20 4k
prover.dylan 01-Mar-1996 01:15 13k
prover.lisp 27-Feb-1996 21:28 15k
rat1.dylan 01-Mar-1996 01:16 21k
rat1.lisp 27-Feb-1996 22:20 19k
residue.dylan 01-Mar-1996 01:15 2k
residue.lisp 27-Feb-1996 21:28 2k
search.dylan 01-Mar-1996 01:13 14k
search.lisp 06-Feb-1996 23:15 11k
simp1.dylan 01-Mar-1996 01:16 10k
simp1.lisp 27-Feb-1996 22:20 9k
simple.dylan 01-Mar-1996 01:13 5k
simple.lisp 06-Feb-1996 23:15 4k
stack1.dylan 01-Mar-1996 01:16 5k
stack1.lisp 27-Feb-1996 22:20 4k
structures.dylan 01-Mar-1996 01:15 8k
structures.lisp 27-Feb-1996 21:28 5k
student.dylan 01-Mar-1996 01:13 10k
student.lisp 06-Feb-1996 23:15 7k
subgoals.dylan 01-Mar-1996 01:15 17k
subgoals.lisp 27-Feb-1996 21:28 19k
symbols.dylan 01-Mar-1996 01:15 7k
symbols.lisp 27-Feb-1996 21:28 6k
terms.dylan 01-Mar-1996 01:15 4k
terms.lisp 27-Feb-1996 21:28 3k
textify.dylan 01-Mar-1996 01:15 7k
textify.lisp 27-Feb-1996 21:28 5k
time.dylan 01-Mar-1996 01:14 20k
time.lisp 15-Feb-1996 19:37 11k
tptp.dylan 01-Mar-1996 01:15 19k
tptp.lisp 27-Feb-1996 21:28 12k
types.dylan 01-Mar-1996 01:15 1k
types.lisp 27-Feb-1996 21:28 1k
ucons1.dylan 01-Mar-1996 01:16 2k
ucons1.lisp 27-Feb-1996 22:20 2k
uconsalt.dylan 01-Mar-1996 01:16 2k
uconsalt.lisp 27-Feb-1996 22:20 2k
unifgram.dylan 01-Mar-1996 01:13 8k
unifgram.lisp 06-Feb-1996 23:15 6k
unify.dylan 01-Mar-1996 01:13 2k
unify.lisp 06-Feb-1996 23:15 2k
version.dylan 01-Mar-1996 01:14 13k
version.lisp 15-Feb-1996 19:28 11k
waltz.dylan 01-Mar-1996 01:13 14k
waltz.lisp 06-Feb-1996 23:15 9k
winston-clos.dylan 01-Mar-1996 01:15 13k
winston-clos.lisp 15-Feb-1996 19:37 12k
Apache/1.3.42 Server at norvig.com Port 80