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

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