Index of /~moore/acl2/older-releases/v4-3/distrib/acl2-sources/books/workshops/2000/lusk-mccune/lusk-mccune-final

	Name	Last modified	Size	Description
	Parent Directory		-
	util.lisp.gz	2010-09-20 19:28	856
	trace.gz	2010-09-20 19:28	2.0K
	stepprocess.lisp.gz	2010-09-20 19:28	598
	stepproc2.lisp.gz	2010-09-20 19:28	1.8K
	stepproc1.lisp.gz	2010-09-20 19:28	2.9K
	stepproc0.lisp.gz	2010-09-20 19:28	1.5K
	simulator.lisp.gz	2010-09-20 19:28	1.2K
	setup.lisp.gz	2010-09-20 19:28	2.2K
	pstate.lisp.gz	2010-09-20 19:28	1.5K
	paper.tex.gz	2010-09-20 19:28	6.1K
	paper.ps.gz	2010-09-20 19:28	20K
	mstate.lisp.gz	2010-09-20 19:28	1.7K
	lstate.lisp.gz	2010-09-20 19:28	1.2K
	gensym-e.lisp.gz	2010-09-20 19:28	1.7K
	fence.gz	2010-09-20 19:28	2.1K
	expr.lisp.gz	2010-09-20 19:28	1.7K
	cstate.lisp.gz	2010-09-20 19:28	1.2K
	compile.lisp.gz	2010-09-20 19:28	1.4K
	base.lisp.gz	2010-09-20 19:28	640
	README.gz	2010-09-20 19:28	680
	Makefile.gz	2010-09-20 19:28	303