Index of /~moore/acl2/older-releases/v4-0/distrib/acl2-sources/books/hacking

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile.gz	2010-01-05 15:41	353
	Readme.lsp.gz	2009-07-20 18:13	1.6K
	all.acl2.gz	2008-10-13 14:02	135
	all.lisp.gz	2008-10-13 14:02	195
	bridge.acl2.gz	2008-10-13 14:02	92
	bridge.lisp.gz	2008-10-13 14:02	1.6K
	copyright.gz	2008-10-13 14:02	568
	defcode.acl2.gz	2009-07-20 18:13	112
	defcode.lisp.gz	2009-07-20 18:13	2.0K
	defstruct-parsing.acl2.gz	2008-10-13 14:02	112
	defstruct-parsing.lisp.gz	2008-10-13 14:02	1.0K
	dynamic-make-event-test.acl2.gz	2009-07-20 18:13	168
	dynamic-make-event-test.lisp.gz	2009-07-20 18:13	585
	dynamic-make-event.acl2.gz	2009-07-20 18:13	115
	dynamic-make-event.lisp.gz	2009-07-20 18:13	679
	evalable-ld-printing.acl2.gz	2009-03-02 15:02	101
	evalable-ld-printing.lisp.gz	2009-07-20 18:13	1.0K
	hacker-pkg.lsp.gz	2008-10-13 14:02	1.0K
	hacker.acl2.gz	2008-10-13 14:02	84
	hacker.lisp.gz	2010-03-24 22:07	7.4K
	progn-bang-enh.acl2.gz	2008-10-13 14:02	104
	progn-bang-enh.lisp.gz	2008-10-13 14:02	667
	raw.acl2.gz	2009-07-20 18:13	85
	raw.lisp.gz	2009-07-20 18:13	1.8K
	redefun.acl2.gz	2008-10-13 14:02	94
	redefun.lisp.gz	2009-04-26 07:28	1.4K
	rewrite-code-pkg.lsp.gz	2008-10-13 14:02	297
	rewrite-code.acl2.gz	2008-10-13 14:02	96
	rewrite-code.lisp.gz	2009-04-14 13:28	6.7K
	subsumption.acl2.gz	2008-10-13 14:02	102
	subsumption.lisp.gz	2008-10-13 14:02	1.7K
	table-guard.acl2.gz	2009-07-20 18:13	134
	table-guard.lisp.gz	2009-07-20 18:13	1.1K