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

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