Index of /~moore/acl2/older-releases/v4-3/distrib/acl2-sources/books/centaur/misc

	Name	Last modified	Size	Description
	Parent Directory		-
	ap.lisp.gz	2011-06-23 15:19	228
	witness-cp.acl2.gz	2011-04-20 15:37	675
	equal-sets.acl2.gz	2011-04-20 15:37	684
	alist-defs.lisp.gz	2011-04-20 15:37	1.1K
	memory-mgmt-logic.lisp.gz	2011-04-20 15:37	1.1K
	f-put-global.lisp.gz	2011-04-20 15:37	1.2K
	memory-mgmt-raw.lisp.gz	2011-04-20 15:37	1.6K
	universal-equiv.lisp.gz	2011-04-20 15:37	1.7K
	hons-extra-raw.lsp.gz	2011-04-20 15:37	2.0K
	hons-sets.lisp.gz	2011-04-20 15:37	2.1K
	vecs-ints.lisp.gz	2011-04-20 15:37	2.2K
	ls.lisp.gz	2011-04-20 15:37	2.2K
	alist-equiv.lisp.gz	2011-06-23 15:19	2.4K
	equal-sets.lisp.gz	2011-04-20 15:37	2.8K
	hons-extra.lisp.gz	2011-04-20 15:37	2.9K
	fast-alists.lisp.gz	2011-04-20 15:37	3.0K
	evaluator-metatheorems.lisp.gz	2011-04-20 15:37	3.2K
	sneaky-load.lisp.gz	2011-04-20 15:37	3.5K
	hons-analyze-memory-raw.lsp.gz	2011-04-20 15:37	4.0K
	interp-function-lookup.lisp.gz	2011-04-20 15:37	5.2K
	defapply.lisp.gz	2011-04-20 15:37	5.9K
	witness-cp.lisp.gz	2011-04-20 15:37	12K