Index of /~moore/acl2/older-releases/v3-3/distrib/acl2-sources/books/workshops/2006/cowles-gamboa-euclid/Euclid/fld-u-poly

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile.gz	2006-10-26 16:15	334
	certify.lsp.gz	2006-07-26 11:59	521
	coe-fld.acl2.gz	2006-10-26 16:12	242
	coe-fld.lisp.gz	2006-11-29 14:39	5.7K
	fucongruencias-producto.acl2.gz	2006-10-26 16:14	355
	fucongruencias-producto.lisp.gz	2007-02-15 20:15	3.5K
	fucongruencias-suma.acl2.gz	2006-10-26 16:13	348
	fucongruencias-suma.lisp.gz	2006-07-26 12:12	1.9K
	fuforma-normal.acl2.gz	2006-10-26 16:13	341
	fuforma-normal.lisp.gz	2006-07-26 12:08	4.5K
	fumonomio.acl2.gz	2006-10-26 16:13	288
	fumonomio.lisp.gz	2006-07-26 12:04	3.3K
	fuopuesto.acl2.gz	2006-10-26 16:14	332
	fuopuesto.lisp.gz	2006-07-26 12:15	2.4K
	fupolinomio-normalizado.acl2.gz	2006-10-26 16:14	370
	fupolinomio-normalizado.lisp.gz	2006-07-26 12:21	3.3K
	fupolinomio.acl2.gz	2006-10-26 16:13	334
	fupolinomio.lisp.gz	2006-07-26 12:06	1.4K
	fuproducto.acl2.gz	2006-10-26 16:14	334
	fuproducto.lisp.gz	2006-11-29 14:39	3.8K
	fuquot-rem.acl2.gz	2006-10-26 16:14	350
	fuquot-rem.lisp.gz	2007-02-15 20:15	9.4K
	fusuma.acl2.gz	2006-10-26 16:13	327
	fusuma.lisp.gz	2006-07-26 12:10	1.7K
	futermino.acl2.gz	2006-10-26 16:13	249
	futermino.lisp.gz	2006-11-29 14:39	2.9K