Index of /~moore/acl2/older-releases/v4-0/distrib/acl2-sources/books/workshops/2004/smith-et-al/support/bags

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile.gz	2009-07-20 18:13	481
	README.gz	2008-10-13 14:03	568
	bag-exports.acl2.gz	2008-10-13 14:03	84
	bag-exports.lisp.gz	2008-10-13 14:03	263
	bag-pkg.acl2.gz	2008-10-13 14:03	201
	bag-pkg.lisp.gz	2008-10-13 14:03	52
	basic.acl2.gz	2008-10-13 14:03	89
	basic.lisp.gz	2008-10-13 14:03	17K
	bind-free-rules.acl2.gz	2008-10-13 14:03	99
	bind-free-rules.lisp.gz	2008-10-13 14:03	7.3K
	cons.lisp.gz	2008-10-13 14:03	2.5K
	eric-meta.acl2.gz	2008-10-13 14:03	88
	eric-meta.lisp.gz	2008-10-13 14:03	16K
	meta.acl2.gz	2008-10-13 14:03	107
	meta.lisp.gz	2008-10-13 14:03	15K
	neq.acl2.gz	2008-10-13 14:03	76
	neq.lisp.gz	2008-10-13 14:03	3.4K
	top.acl2.gz	2008-10-13 14:03	76
	top.lisp.gz	2008-10-13 14:03	703
	two-level-meta.acl2.gz	2008-10-13 14:03	98
	two-level-meta.lisp.gz	2008-10-13 14:03	1.0K
	two-level.acl2.gz	2008-10-13 14:03	88
	two-level.lisp.gz	2008-10-13 14:03	1.8K