Index of /~moore/acl2/older-releases/v4-3/distrib/acl2-sources/books/workshops/2000/medina/polynomials

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile.gz	2010-09-20 19:28	381
	multiplication.acl2.gz	2010-09-20 19:28	104
	term.lisp.gz	2010-09-20 19:28	955
	addition.acl2.gz	2010-09-20 19:28	95
	lexicographical-ordering.lisp.gz	2010-09-20 19:28	1.2K
	negation.lisp.gz	2010-09-20 19:28	427
	normal-form.acl2.gz	2010-09-20 19:28	102
	polynomial.acl2.gz	2010-09-20 19:28	101
	certification.acl2.gz	2010-09-20 19:28	338
	multiplication.lisp.gz	2010-09-20 19:28	1.5K
	addition.lisp.gz	2010-09-20 19:28	683
	normal-form.lisp.gz	2010-09-20 19:28	1.2K
	examples.acl2.gz	2010-09-20 19:28	97
	README.gz	2010-09-20 19:28	496
	monomial.acl2.gz	2010-09-20 19:28	97
	congruences-2.acl2.gz	2010-09-20 19:28	106
	congruences-1.acl2.gz	2010-09-20 19:28	106
	polynomial.lisp.gz	2010-09-20 19:28	870
	term.acl2.gz	2010-09-20 19:28	89
	lexicographical-ordering.acl2.gz	2010-09-20 19:28	128
	examples.lisp.gz	2010-09-20 19:28	612
	negation.acl2.gz	2010-09-20 19:28	94
	monomial.lisp.gz	2010-09-20 19:28	1.0K
	congruences-2.lisp.gz	2010-09-20 19:28	1.2K
	congruences-1.lisp.gz	2010-09-20 19:28	432