Index of /~moore/acl2/older-releases/v3-0/distrib/acl2-sources/books/workshops/2002/medina-palomo-alonso/support/section-3

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile.gz	2004-09-20 20:28	400
	README.gz	2002-01-10 09:23	1.0K
	monomial.acl2.gz	2004-01-19 17:01	269
	monomial.lisp.gz	2004-01-19 17:01	792
	npol-ordering-1.acl2.gz	2004-01-19 17:02	284
	npol-ordering-1.lisp.gz	2004-01-29 08:47	698
	npol-ordering-2.acl2.gz	2004-01-19 17:02	283
	npol-ordering-2.lisp.gz	2004-01-29 08:50	1.1K
	ordinal-ordering.acl2.gz	2004-01-19 17:19	284
	ordinal-ordering.lisp.gz	2003-10-20 13:37	286
	term.acl2.gz	2004-01-19 17:20	265
	term.lisp.gz	2004-01-19 17:21	473
	upol.acl2.gz	2004-01-19 17:21	266
	upol.lisp.gz	2002-01-09 09:54	277