Index of /ftp/pub/moore

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [DIR] acl2/ 11-Aug-2008 16:15 - [DIR] bdd/ 30-Jul-2003 13:30 - [DIR] cise-nscg/ 20-Sep-1999 02:01 - [DIR] finite-set-theory/ 31-Mar-2001 21:03 - [DIR] infix/ 18-Aug-1998 10:29 - [DIR] ivme03/ 29-Nov-2003 13:50 - [DIR] jderick/ 02-May-2003 15:50 - [DIR] kdi/ 25-Jan-1999 13:32 - [DIR] lifting/ 11-Apr-2001 10:38 - [DIR] moore-sttt/ 08-Oct-2004 08:28 - [DIR] psi03/ 18-Feb-2003 13:55 - [DIR] slides/ 20-Mar-2001 09:57 - [DIR] talks/ 01-Oct-2002 12:50 - [DIR] temp/ 23-Jan-2005 11:49 - [DIR] tjvm/ 09-Nov-2000 14:57 - [DIR] wedding/ 16-May-2002 22:05 - [IMG] CE2.psd 15-Aug-2002 16:19 217K [IMG] CE3.psd 15-Aug-2002 16:19 189K [IMG] E_26C1.psd 15-Aug-2002 16:20 250K [   ] aaas-06.tgz 16-Jan-2006 17:33 434K [   ] 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 [   ] acl2-blurb.tex 21-Aug-2002 20:24 1.8K [   ] 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 [   ] 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] apr25.uu 25-Apr-2000 20:09 6.0M [   ] aubin.pdf 15-Dec-2003 11:47 2.1M [TXT] 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 [   ] 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 [TXT] 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 [TXT] 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 [TXT] general-core.lisp 08-Dec-2002 17:43 56K [TXT] 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 [TXT] inadmissible.lisp 07-Aug-2004 11:39 2.6K [TXT] 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 [TXT] 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 [TXT] 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 [TXT] lambda-example-3.lisp 24-Mar-2000 15:10 74K [   ] lecture1.ps 05-Aug-2004 12:29 1.3M [TXT] lecture2.proofs 06-Aug-2004 13:54 22K [   ] lecture2.ps 06-Aug-2004 13:54 195K [TXT] lecture3.proofs 07-Aug-2004 11:39 79K [   ] lecture3.ps 07-Aug-2004 11:39 236K [TXT] lecture4.proofs 08-Aug-2004 13:37 118K [   ] lecture4.ps 08-Aug-2004 13:37 150K [TXT] 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 [TXT] m0-utilities.lisp 08-Aug-2004 13:37 2.2K [TXT] m3-new-fact.lisp 21-Feb-2001 11:59 6.0K [TXT] 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 [TXT] 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 [TXT] manning.msg 23-Mar-2004 08:32 3.7K [   ] mar-27-03.tar.gz 27-Mar-2003 20:46 110K [TXT] 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 [TXT] 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 [TXT] 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 [TXT] 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 [TXT] pete.tgz.uu 09-Nov-2004 09:28 87K [IMG] photo1.jpg 03-Sep-2005 13:22 948K [IMG] photo2.jpg 03-Sep-2005 13:22 628K [IMG] 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 [   ] sample.dvi 20-Mar-2001 09:56 7.0K [TXT] 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 [TXT] sim.lisp 08-Sep-2000 22:23 30K [TXT] 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 [TXT] 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 [TXT] 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 [TXT] test1.lisp 24-Mar-2000 15:07 26K [   ] tetc-update.pdf 01-Nov-2005 08:39 172K [TXT] 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