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

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile.gz	2001-05-06 07:31	224
	README.gz	1995-10-27 17:58	506
	certify.lsp.gz	2001-01-07 21:10	164
	meta-plus-equal.lisp.gz	1997-05-19 12:24	1.8K
	meta-plus-lessp.lisp.gz	1997-05-19 12:25	1.9K
	meta-times-equal.lisp.gz	2000-05-18 16:47	2.6K
	meta.lisp.gz	1997-05-19 10:49	634
	pseudo-termp-lemmas.lisp.gz	1995-10-27 17:58	663
	term-defuns.lisp.gz	2005-07-11 13:16	1.3K
	term-lemmas.lisp.gz	1997-05-19 12:25	1.0K