Index of /users/moore/acl2/v4-3/distrib/acl2-sources/books/hacking

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile	20-Sep-2010 19:28	597
	Readme.lsp	20-Sep-2010 19:28	3.3K
	all.acl2	20-Sep-2010 19:28	122
	all.lisp	20-Sep-2010 19:28	607
	bridge.acl2	20-Sep-2010 19:28	64
	bridge.lisp	14-Jan-2011 09:53	5.8K
	copyright	20-Sep-2010 19:28	897
	defcode.acl2	20-Sep-2010 19:28	85
	defcode.lisp	20-Sep-2010 19:28	7.3K
	defstruct-parsing.acl2	20-Sep-2010 19:28	73
	defstruct-parsing.lisp	20-Sep-2010 19:28	6.8K
	doc-section.lisp	14-Jan-2011 09:53	249
	dynamic-make-event-test.acl2	20-Sep-2010 19:28	127
	dynamic-make-event-test.lisp	20-Sep-2010 19:28	1.1K
	dynamic-make-event.acl2	20-Sep-2010 19:28	77
	dynamic-make-event.lisp	20-Sep-2010 19:28	1.3K
	evalable-ld-printing.acl2	20-Sep-2010 19:28	73
	evalable-ld-printing.lisp	20-Sep-2010 19:28	2.8K
	hacker-pkg.lsp	14-Jan-2011 09:53	2.2K
	hacker.acl2	20-Sep-2010 19:28	62
	hacker.lisp	14-Jan-2011 09:53	31K
	progn-bang-enh.acl2	20-Sep-2010 19:28	68
	progn-bang-enh.lisp	20-Sep-2010 19:28	1.8K
	raw.acl2	20-Sep-2010 19:28	62
	raw.lisp	20-Sep-2010 19:28	7.8K
	redefun.acl2	20-Sep-2010 19:28	65
	redefun.lisp	20-Sep-2010 19:28	4.4K
	rewrite-code-pkg.lsp	20-Sep-2010 19:28	504
	rewrite-code.acl2	20-Sep-2010 19:28	74
	rewrite-code.lisp	20-Sep-2010 19:28	26K
	subsumption.acl2	20-Sep-2010 19:28	69
	subsumption.lisp	14-Jan-2011 09:53	5.9K
	table-guard.acl2	20-Sep-2010 19:28	103
	table-guard.lisp	20-Sep-2010 19:28	2.9K