Index of /users/moore/acl2/v3-4/distrib/acl2-sources/books/meta

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile	17-Dec-2007 09:57	789
	README	24-Jul-2008 13:52	1.1K
	certify.lsp	17-Dec-2007 09:57	304
	meta-plus-equal.lisp	17-Dec-2007 09:57	8.6K
	meta-plus-lessp.lisp	17-Dec-2007 09:57	11K
	meta-times-equal.lisp	17-Dec-2007 09:57	15K
	meta.lisp	17-Dec-2007 09:57	1.1K
	pseudo-termp-lemmas.lisp	17-Dec-2007 09:57	3.2K
	term-defuns.lisp	17-Dec-2007 09:57	4.1K
	term-lemmas.lisp	17-Dec-2007 09:57	3.0K