Index of /~moore/acl2/older-releases/v3-1/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	2006-04-21 15:43	74
	foo-a1.lisp.gz	2006-05-05 15:27	190
	foo-a21.lisp.gz	2006-05-05 15:28	197
	foo-b1.lisp.gz	2006-05-05 15:29	224
	foo-b2.lisp.gz	2006-05-05 15:30	182
	foo-b3.lisp.gz	2006-05-05 15:30	170
	foo-c1.lisp.gz	2006-05-05 15:31	207
	foo-c2.lisp.gz	2006-04-21 15:55	173
	foo-d.lisp.gz	2006-05-05 15:31	187
	foo-e.lisp.gz	2006-05-05 15:32	177
	foo-f.lisp.gz	2006-05-05 15:32	194
	local-defaxiom-1.lisp.gz	2006-05-06 07:08	160
	local-defaxiom-2.lisp.gz	2006-05-06 07:09	160