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

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile.gz	2007-12-17 09:57	79
	bar.lisp.gz	2007-12-17 09:57	88
	baruser.lisp.gz	2007-12-17 09:57	96
	foo-a1.lisp.gz	2007-12-17 09:57	190
	foo-a21.lisp.gz	2007-12-17 09:57	197
	foo-b1.lisp.gz	2007-12-17 09:57	236
	foo-b2.lisp.gz	2007-12-17 09:57	196
	foo-b3.lisp.gz	2007-12-17 09:57	184
	foo-c1.lisp.gz	2007-12-17 09:57	220
	foo-c2.lisp.gz	2007-12-17 09:57	185
	foo-d.lisp.gz	2007-12-17 09:57	187
	foo-e.lisp.gz	2007-12-17 09:57	177
	foo-f.lisp.gz	2007-12-17 09:57	210
	local-defaxiom-1.lisp.gz	2007-12-17 09:57	160
	local-defaxiom-2.lisp.gz	2007-12-17 09:57	160