Index of /~moore/acl2/older-releases/v3-4/distrib/acl2-sources/books/nonstd/sqrt

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile.gz	2000-05-07 08:47	162
	README.gz	2004-10-10 19:20	150
	certify.lsp.gz	1998-11-03 20:56	162
	iter-sqrt.lisp.gz	2000-05-18 16:47	6.1K
	no-sqrt.lisp.gz	2002-11-12 10:57	5.1K