Index of /~moore/acl2/older-releases/v3-4/distrib/acl2-sources/books/meta

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile.gz	2007-12-17 09:57	224
	README.gz	2008-07-24 13:52	564
	certify.lsp.gz	2007-12-17 09:57	164
	meta-plus-equal.lisp.gz	2007-12-17 09:57	1.8K
	meta-plus-lessp.lisp.gz	2007-12-17 09:57	1.9K
	meta-times-equal.lisp.gz	2007-12-17 09:57	2.6K
	meta.lisp.gz	2007-12-17 09:57	634
	pseudo-termp-lemmas.lisp.gz	2007-12-17 09:57	663
	term-defuns.lisp.gz	2007-12-17 09:57	1.3K
	term-lemmas.lisp.gz	2007-12-17 09:57	1.0K