Index of /users/moore/acl2/older-releases/v4-3/distrib/acl2-sources/books/nonstd/sqrt

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile.gz	2009-03-13 14:05	162
	README.gz	2009-03-13 14:05	150
	certify.lsp.gz	2009-03-13 14:05	162
	iter-sqrt.lisp.gz	2009-03-13 14:05	6.1K
	no-sqrt.lisp.gz	2009-03-13 14:05	5.1K