Index of /~moore/acl2/older-releases/v3-3/distrib/acl2-sources/books/make-event/embedded-defaxioms

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile.gz	2006-05-05 15:38	79
	bar.lisp.gz	2006-05-04 21:34	88
	baruser.lisp.gz	2007-04-09 12:19	96
	local-defaxiom-1.lisp.gz	2006-05-06 07:08	160
	local-defaxiom-2.lisp.gz	2006-05-06 07:09	160
	foo-e.lisp.gz	2006-05-05 15:32	177
	foo-b3.lisp.gz	2007-04-09 12:28	184
	foo-c2.lisp.gz	2007-04-09 12:28	185
	foo-d.lisp.gz	2006-05-05 15:31	187
	foo-a1.lisp.gz	2006-05-05 15:27	190
	foo-b2.lisp.gz	2007-04-09 12:27	196
	foo-a21.lisp.gz	2006-05-05 15:28	197
	foo-f.lisp.gz	2007-04-09 12:28	210
	foo-c1.lisp.gz	2007-04-09 12:28	220
	foo-b1.lisp.gz	2007-04-09 12:27	236