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

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