Index of /~moore/acl2/older-releases/v4-2/distrib/acl2-sources/books/workshops/2007/rubio/support/abstract-reductions

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile.gz	2010-09-20 19:29	251
	confluence.acl2.gz	2010-09-20 19:29	319
	newman.acl2.gz	2010-09-20 19:29	326
	convergent.acl2.gz	2010-09-20 19:29	348
	abstract-proofs.lisp.gz	2010-09-20 19:29	2.0K
	confluence.lisp.gz	2010-09-20 19:29	4.2K
	convergent.lisp.gz	2010-09-20 19:29	5.7K
	newman.lisp.gz	2010-09-20 19:29	8.3K