Index of /ftp/pub/moore
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
acl2/ 11-Aug-2008 16:15 -
bdd/ 30-Jul-2003 13:30 -
cise-nscg/ 20-Sep-1999 02:01 -
finite-set-theory/ 31-Mar-2001 21:03 -
infix/ 18-Aug-1998 10:29 -
ivme03/ 29-Nov-2003 13:50 -
jderick/ 02-May-2003 15:50 -
kdi/ 25-Jan-1999 13:32 -
lifting/ 11-Apr-2001 10:38 -
moore-sttt/ 08-Oct-2004 08:28 -
psi03/ 18-Feb-2003 13:55 -
slides/ 20-Mar-2001 09:57 -
talks/ 01-Oct-2002 12:50 -
temp/ 23-Jan-2005 11:49 -
tjvm/ 09-Nov-2000 14:57 -
wedding/ 16-May-2002 22:05 -
![[IMG]](/icons/image2.gif)
CE2.psd 15-Aug-2002 16:19 217K
CE3.psd 15-Aug-2002 16:19 189K
E_26C1.psd 15-Aug-2002 16:20 250K
![[ ]](/icons/compressed.gif)
aaas-06.tgz 16-Jan-2006 17:33 434K
![[ ]](/icons/a.gif)
aces.eps 08-May-2002 18:32 938K
acl2-architecture.eps 25-Apr-2005 18:55 7.1K
acl2-blurb.ps 21-Aug-2002 20:24 41K
![[ ]](/icons/tex.gif)
acl2-blurb.tex 21-Aug-2002 20:24 1.8K
![[ ]](/icons/layout.gif)
acl2-on-mac.pdf 25-Oct-2005 20:25 1.1M
acl2-research.ps 08-Sep-2002 19:59 236K
acl2-system-architec..> 21-Aug-2002 20:25 8.4K
![[ ]](/icons/unknown.gif)
acl2-system-architec..> 21-Aug-2002 20:26 4.5K
acl2-work-01.ps 15-Apr-2001 15:16 569K
acs-cover.eps 19-Aug-2002 11:35 8.9K
amd-athlon.ps 19-Mar-2001 22:21 4.5M
![[TXT]](/icons/uuencoded.gif)
apr25.uu 25-Apr-2000 20:09 6.0M
aubin.pdf 15-Dec-2003 11:47 2.1M
![[TXT]](/icons/text.gif)
big-proof.txt 14-May-2001 16:48 14M
bio.pdf 17-Jan-2006 12:09 9.8K
boyer-vita.pdf 30-May-2005 05:20 15K
budapest-paper.ps 08-Apr-2001 12:46 155K
campus.eps 08-May-2002 18:32 1.8M
car-cover.eps 19-Aug-2002 11:38 8.9K
cassis-04.ps 09-Mar-2004 10:39 489K
chap16.ps.gz 08-May-2002 21:58 171K
cli-stack-90.eps 28-Feb-2002 08:47 26K
cli-stack-90.eps.gz 28-Feb-2002 08:47 5.4K
cli-stack-90.fig.bak.gz 28-Feb-2002 08:47 4.4K
cli-stack-90.fig.gz 28-Feb-2002 08:47 4.4K
![[ ]](/icons/tar.gif)
clockless.tar 30-May-2001 10:15 210K
clockless2.tar 30-May-2001 11:26 120K
ctf.pdf 18-Feb-2004 20:41 128K
cv-1.pdf 19-May-2005 08:35 60K
cv.pdf 15-Jan-2005 11:51 88K
cv.ps 01-Jul-2004 08:36 83K
dec-29-04-warren.tgz 31-Dec-2004 04:10 1.0M
demo-goddard.pdf 30-Apr-2004 08:39 1.9M
dept-overview.pdf 18-Dec-2002 22:23 160K
dept-overview.ps 18-Dec-2002 22:23 148K
external-review-slid..> 21-Oct-2002 20:55 111K
external-review.ps 30-Sep-2002 22:06 217K
external-review.tex 30-Sep-2002 22:07 92K
extrev-errata.ps 21-Oct-2002 13:18 54K
extrev-slides.ps 20-Oct-2002 16:49 6.7M
extrev.ps 17-Oct-2002 13:26 222K
extrev.tex 17-Oct-2002 13:26 94K
filter.lisp 07-Aug-2004 11:39 1.6K
final-report-98-00.pdf 18-Sep-2000 16:47 184K
final-report-98-00.ps 18-Sep-2000 16:46 151K
fivepage.ps 20-Jan-2004 12:26 110K
flawn.ps 26-Jun-2001 22:51 219K
flying-demo.tar.gz 18-Feb-2002 14:50 37K
fm.ps 06-Mar-2003 00:01 2.1M
fmppta02.ps 23-Oct-2001 11:04 179K
focs-fm.pdf 19-Mar-2003 22:31 500K
focs-fm.ps 19-Mar-2003 22:27 231K
foo.pdf 18-Feb-2005 14:17 65K
foo.txt 18-Dec-2003 08:42 5.7K
foster.pdf 10-May-2005 08:42 217K
freeman.pdf 18-Jan-2006 17:17 331K
general-core.lisp 08-Dec-2002 17:43 56K
general.lisp 09-Dec-2002 20:22 20K
george.tar.gz 16-Sep-2001 12:10 1.6M
grand-challenge.ps 13-Aug-2002 18:56 147K
hacked-2.tar 19-Feb-2002 14:46 10M
hammer3.pdf 29-Jul-2004 06:05 158K
hammer3.ps 29-Jul-2004 06:05 143K
hammer3.tex 29-Jul-2004 06:05 35K
hammer4.ps 23-Aug-2004 12:57 144K
hammer5.ps 08-Sep-2004 08:18 164K
hanbing-example.ps 10-Jun-2001 13:01 194K
hcss-04-moore.ps 14-May-2004 13:50 1.1M
hcss.ps 13-Apr-2004 14:54 1.1M
hl.pdf 16-Jan-2004 20:31 85K
icfem-moore.pdf 11-Nov-2004 08:53 307K
icfem-moore.ps 11-Nov-2004 08:53 414K
icfp-02-invited-talk..> 18-Jun-2002 15:59 19K
icfp-02-invited-talk..> 18-Jun-2002 15:59 4.7K
ijcar-06.tgz 04-Mar-2006 20:59 243K
impact.pdf 20-Jul-2004 05:39 73K
impact.ps 12-May-2004 11:00 176K
inadmissible.lisp 07-Aug-2004 11:39 2.6K
incr.lisp 27-Sep-2000 10:15 7.0K
industrial-relevance..> 21-Aug-2005 12:35 58K
interactive-theorem-..> 25-Apr-2005 19:00 12K
ip-memo.pdf 15-Aug-2002 09:12 121K
ip-memo.ps 13-Aug-2002 14:45 102K
ip-talk.ps 23-Jul-2002 09:14 149K
jack.ps 06-Dec-2000 10:56 215K
jan-24-03-demo.ps 08-Jun-2003 17:32 227K
jan-24-03.lisp 24-Jan-2003 07:37 106K
jan-24-03.ps 24-Jan-2003 07:33 227K
javaone.ps 11-Jul-2001 20:35 1.4M
jul31.uu 31-Jul-2000 12:49 6.0M
june-24-04.tgz 02-Jul-2004 04:18 1.6M
jvm.ps 09-Jul-2002 22:48 680K
kapproc.tgz 27-Sep-2004 09:51 1.6M
kroening.ps 23-Mar-2001 09:33 2.2M
lambda-example-3.lisp 24-Mar-2000 15:10 74K
lecture1.ps 05-Aug-2004 12:29 1.3M
lecture2.proofs 06-Aug-2004 13:54 22K
lecture2.ps 06-Aug-2004 13:54 195K
lecture3.proofs 07-Aug-2004 11:39 79K
lecture3.ps 07-Aug-2004 11:39 236K
lecture4.proofs 08-Aug-2004 13:37 118K
lecture4.ps 08-Aug-2004 13:37 150K
lecture5.proofs 09-Aug-2004 12:01 75K
lecture5.ps 09-Aug-2004 12:01 483K
lecture6.proofs 10-Aug-2004 13:42 81K
lecture6.ps 11-Aug-2004 16:30 346K
logo.ps 25-Apr-2005 18:51 302K
long.ps 25-Sep-2001 08:42 239K
m0-utilities.lisp 08-Aug-2004 13:37 2.2K
m3-new-fact.lisp 21-Feb-2001 11:59 6.0K
m3.lisp 21-Feb-2001 11:59 14K
m4-proofs.ps 17-Nov-2000 13:49 245K
m4-talk.ps 10-Mar-2001 21:21 722K
m4.lisp 17-Feb-2001 17:45 27K
m4.ps 14-Oct-2000 10:36 356K
mach4.pdf 10-Jan-2002 01:43 776K
mach4.ps 10-Jan-2002 01:43 6.2M
mach6y.ps 21-Sep-2002 12:07 4.4M
mach6y.ps.gz 21-Sep-2002 12:19 1.6M
mach8.ps.gz 27-Oct-2002 14:21 1.6M
machines-about-machi..> 15-May-2001 22:06 1.2M
machines.tar.gz 18-Feb-2002 22:56 3.7M
manning.msg 23-Mar-2004 08:32 3.7K
mar-27-03.tar.gz 27-Mar-2003 20:46 110K
mar24.uu 24-Mar-2000 14:46 6.0M
marktoberdorf-notes.ps 17-Jun-2002 01:23 309K
matyas.ps 25-Jun-2002 15:31 58K
misra-thread-game-so..> 29-Mar-2001 14:08 31K
model-talk.ps 15-Apr-2001 15:15 912K
model.pdf 25-Oct-2000 21:47 216K
model.tex 03-Feb-2001 16:18 42K
moore-final.tgz 12-Apr-2004 12:18 121K
moore-hcss-06.tgz 04-Feb-2006 12:12 149K
moore-intro.ps 09-Jun-2003 12:03 17M
moore-slides.ps 15-Jul-2004 14:30 94K
moore-sttt.tgz 08-Oct-2004 08:28 170K
moore.tar.gz 26-Feb-2003 22:16 645K
moore.tar.gz.uu 15-Apr-2001 11:03 153K
noa.pdf 25-Jan-2006 19:55 341K
nsf-cise-fm.ps 25-Feb-2003 17:12 1.2M
nu-rewriter.ps 28-Nov-2000 23:02 388K
original.lisp 09-Dec-2002 05:51 15K
paper-19.ps 26-Apr-2003 10:55 124K
paper-20.ps 26-Apr-2003 10:56 504K
paper4.ps 19-Dec-2001 11:19 268K
paper9.ps 19-Dec-2001 11:19 196K
perm.lisp 07-Aug-2004 11:39 3.7K
perspective96.ps 26-Nov-2001 10:48 839K
pete.tgz 01-Nov-2005 19:32 3.1K
pete.tgz.uu 09-Nov-2004 09:28 87K
photo1.jpg 03-Sep-2005 13:22 948K
photo2.jpg 03-Sep-2005 13:22 628K
photo3.jpg 03-Sep-2005 13:22 659K
pitch2.pdf 04-May-2005 19:08 801K
piton.ps 05-Mar-2003 09:04 155K
proj.tar.gz 13-Oct-2000 18:27 11K
proofs.tex 12-Nov-2000 12:59 83K
proposal1.pdf 14-Feb-2004 12:26 153K
proposal1.ps 14-Feb-2004 12:26 136K
redt.eps 21-May-2003 10:31 6.1K
revised-paper-acm.ps 28-Feb-2002 07:17 248K
robocup.pdf 23-Mar-2006 11:46 209K
sample.aux 20-Mar-2001 09:56 159
![[ ]](/icons/dvi.gif)
sample.dvi 20-Mar-2001 09:56 7.0K
sample.log 20-Mar-2001 09:56 5.7K
sample.ps 20-Mar-2001 09:56 51K
saved_acl2.gz 27-Mar-2000 09:44 4.6M
siemens.ps 20-Nov-2002 09:45 700K
sim.lisp 08-Sep-2000 22:23 30K
sim1.lisp 18-Sep-2000 12:53 57K
simplifier.eps 17-Feb-2002 21:41 19K
slides.aux 09-Jul-2004 08:53 8
slides.dvi 09-Jul-2004 08:53 4.3K
slides.log 09-Jul-2004 08:53 7.4K
slides.ps 09-Jul-2004 08:53 84K
slides.tex 09-Jul-2004 08:53 3.2K
sorting.lisp 09-Aug-2004 12:01 4.3K
spanish-academy.ps 02-Nov-2003 15:27 105K
spanish-academy.tex 02-Nov-2003 15:27 52K
src-2001.ppt 05-Mar-2001 17:17 97K
src-white-paper.ps 01-Apr-2002 18:28 35K
sts.doc 18-Jan-2006 17:31 185K
submission-09-08-04.tgz 08-Sep-2004 13:40 153K
submission-11-20-03.tar 03-Dec-2003 11:47 370K
sun-jan-24-03-hbl.ps 08-Jun-2003 17:37 7.5M
talk.ps 22-May-2002 20:23 288K
talk4.ps 16-May-2002 01:17 354K
tct.ps 22-Feb-2004 16:33 182K
tct.tex 22-Feb-2004 16:33 63K
test1.lisp 24-Mar-2000 15:07 26K
tetc-update.pdf 01-Nov-2005 08:39 172K
tetc.html 17-Apr-2003 20:35 6.0K
turqt.eps 21-May-2003 10:31 6.1K
ut-computing.pdf 09-May-2004 12:11 63K
ut-computing.ps 09-May-2004 12:11 151K
v2-5-early.tar.gz 26-May-2000 17:22 5.4M
vstack.ps 31-Mar-2002 18:17 5.8M
vstack.ps.gz 24-Mar-2002 13:52 1.8M
waterfall.eps 25-Apr-2005 18:59 16K
white-paper.pdf 24-Jul-2001 14:21 228K
white-paper.ps 24-Jul-2001 10:05 223K
white-slides.ps 25-Jul-2001 14:52 327K