Index of /~moore/acl2/older-releases/v3-5/distrib/acl2-sources/books/coi/util

	Name	Last modified	Size	Description
	Parent Directory		-
	util-exports.lsp.gz	2009-04-15 09:54	198
	util-definitions.lisp.gz	2009-04-15 09:54	7.3K
	table.lisp.gz	2009-04-15 09:54	480
	table.acl2.gz	2009-04-26 16:51	154
	table-defpkg.lsp.gz	2009-04-15 09:54	140
	syntaxp.lisp.gz	2009-04-15 09:54	293
	skip-rewrite.lisp.gz	2009-04-15 09:54	818
	rule-sets.lisp.gz	2009-04-15 09:54	2.0K
	rule-sets.acl2.gz	2009-04-26 16:51	173
	rule-sets-support.lisp.gz	2009-04-15 09:54	5.2K
	rule-sets-support.acl2.gz	2009-04-26 16:51	177
	rule-sets-documentation.lisp.gz	2009-04-15 09:54	1.1K
	rule-sets-documentation.acl2.gz	2009-04-26 16:51	187
	rule-sets-defpkg.lsp.gz	2009-04-15 09:54	216
	rewrite-equiv.lisp.gz	2009-04-15 09:54	1.6K
	recursion-support.lisp.gz	2009-04-26 16:50	2.7K
	recursion-support.acl2.gz	2009-04-26 17:40	139
	pseudo-translate.lisp.gz	2009-04-15 09:54	11K
	ordinal-order.lisp.gz	2009-04-15 09:54	2.3K
	nfixequiv.lisp.gz	2009-04-15 09:54	382
	mv-nth.lisp.gz	2009-04-15 09:54	1.0K
	mv-nth.acl2.gz	2009-04-23 07:27	153
	ith.lisp.gz	2009-04-15 09:54	426
	in-conclusion.lisp.gz	2009-04-15 09:54	1.1K
	implies.lisp.gz	2009-04-15 09:54	413
	ifixequiv.lisp.gz	2009-04-15 09:54	382
	iff.lisp.gz	2009-04-15 09:54	257
	ifdef.lisp.gz	2009-04-15 09:54	1.1K
	ifdef.acl2.gz	2009-04-15 09:54	145
	good-rewrite-order.lisp.gz	2009-04-15 09:54	562
	gensym-defpkg.lsp.gz	2009-04-15 09:54	130
	fixequiv.lisp.gz	2009-04-15 09:54	815
	extra-info.lisp.gz	2009-04-15 09:54	453
	extra-info-test.lisp.gz	2009-04-15 09:54	617
	defun.lisp.gz	2009-04-15 09:54	1.9K
	defun.acl2.gz	2009-04-26 17:38	177
	defun-support.lisp.gz	2009-04-26 17:15	8.4K
	defun-support.acl2.gz	2009-04-26 17:38	190
	defun-defpkg.lsp.gz	2009-04-15 09:54	213
	defsubtype.lisp.gz	2009-04-15 09:54	1.3K
	defsubtype.acl2.gz	2009-04-23 07:27	157
	deffix.lisp.gz	2009-04-26 16:50	874
	deffix.acl2.gz	2009-04-26 17:39	180
	defdoc.lisp.gz	2009-04-15 09:54	1.0K
	defdoc.acl2.gz	2009-04-15 09:54	145
	defbinding.lisp.gz	2009-04-15 09:54	270
	defbinding.acl2.gz	2009-04-15 09:54	83
	def-defpkg.lsp.gz	2009-04-15 09:54	123
	debug.lisp.gz	2009-04-26 17:15	1.0K
	debug.acl2.gz	2009-04-15 09:54	78
	debug-defpkg.lsp.gz	2009-04-26 17:17	64
	clause-processor.lisp.gz	2009-04-15 09:54	1.1K
	cert.acl2.gz	2009-04-26 17:32	123
	Makefile.gz	2009-04-26 14:40	289