Index of /~moore/acl2/older-releases/v4-2/distrib/acl2-sources/books/meta

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile.gz	2010-09-20 19:29	67
	README.gz	2010-09-20 19:29	564
	meta.lisp.gz	2010-09-20 19:29	634
	pseudo-termp-lemmas.lisp.gz	2010-09-20 19:29	663
	term-lemmas.lisp.gz	2010-09-20 19:29	1.0K
	term-defuns.lisp.gz	2010-11-30 13:13	1.4K
	meta-plus-equal.lisp.gz	2010-09-20 19:29	1.8K
	meta-plus-lessp.lisp.gz	2010-09-20 19:29	1.9K
	meta-times-equal.lisp.gz	2010-09-20 19:29	2.6K