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

	Name	Last modified	Size	Description
	Parent Directory		-
	term.lisp.gz	2002-10-13 19:47	955
	term.acl2.gz	2001-04-25 11:36	89
	polynomial.lisp.gz	2002-10-13 19:45	870
	polynomial.acl2.gz	2001-04-25 11:36	101
	normal-form.lisp.gz	2001-06-18 14:01	1.2K
	normal-form.acl2.gz	2001-04-25 11:36	102
	negation.lisp.gz	2001-11-28 07:10	427
	negation.acl2.gz	2001-04-25 11:36	94
	multiplication.lisp.gz	2001-06-18 14:01	1.5K
	multiplication.acl2.gz	2001-04-25 11:36	104
	monomial.lisp.gz	2001-06-18 14:00	1.0K
	monomial.acl2.gz	2001-04-25 11:36	97
	lexicographical-ordering.lisp.gz	2004-01-19 16:42	1.2K
	lexicographical-ordering.acl2.gz	2001-04-25 11:36	128
	examples.lisp.gz	2001-06-18 13:59	612
	examples.acl2.gz	2001-04-25 11:36	97
	congruences-2.lisp.gz	2001-11-28 13:31	1.2K
	congruences-2.acl2.gz	2001-04-25 11:36	106
	congruences-1.lisp.gz	2002-05-07 11:11	432
	congruences-1.acl2.gz	2001-04-25 11:36	106
	certification.acl2.gz	2003-10-14 14:56	338
	addition.lisp.gz	2000-07-10 12:35	683
	addition.acl2.gz	2001-04-25 11:35	95
	README.gz	2000-10-25 12:43	496
	Makefile.gz	2006-05-18 15:01	401