Index of /~moore/acl2/older-releases/v3-4/distrib/acl2-sources/books/workshops/2000/ruiz/multiset/examples/newman

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile.gz	2007-12-17 09:59	234
	abstract-proofs.lisp.gz	2007-12-17 09:59	1.7K
	confluence-v0.acl2.gz	2007-12-17 09:59	324
	confluence-v0.lisp.gz	2007-12-17 09:59	3.3K
	confluence.acl2.gz	2007-12-17 09:59	321
	confluence.lisp.gz	2007-12-17 09:59	3.0K
	local-confluence.acl2.gz	2007-12-17 09:59	359
	local-confluence.lisp.gz	2007-12-17 09:59	3.8K
	newman.acl2.gz	2007-12-17 09:59	325
	newman.lisp.gz	2007-12-17 09:59	7.1K