Index of /~moore/acl2/older-releases/v4-0/distrib/acl2-sources/books/nonstd/nsa

	Name	Last modified	Size	Description
	Parent Directory		-
	inverse-monotone.acl2.gz	2009-01-22 10:49	149
	certify.lsp.gz	2001-09-20 15:05	163
	factorial.lisp.gz	2002-10-28 13:26	548
	raise.lisp.gz	2009-03-17 14:35	616
	Makefile.gz	2009-04-03 09:54	699
	continuity-product.lisp.gz	2002-10-28 13:25	776
	inverses.lisp.gz	2009-04-03 09:44	827
	inverse-square.lisp.gz	2009-03-17 17:07	923
	alternating-series.lisp.gz	2002-10-28 13:25	1.3K
	next-integer.lisp.gz	2002-10-28 13:26	1.3K
	inverse-trig.lisp.gz	2009-03-17 14:34	1.7K
	complex-polar.lisp.gz	2009-03-17 14:33	2.1K
	intervals.lisp.gz	2009-03-17 14:34	2.2K
	ln.lisp.gz	2009-03-17 14:35	3.6K
	inverse-derivatives.lisp.gz	2009-04-03 09:55	3.9K
	inner-sums.lisp.gz	2006-08-09 11:20	4.4K
	exp-continuous.lisp.gz	2004-10-01 11:07	4.6K
	chain-rule.lisp.gz	2009-03-17 14:33	5.0K
	norm.lisp.gz	2002-10-28 13:26	5.2K
	derivatives-composition.lisp.gz	2009-03-17 15:54	5.6K
	nsa.lisp.gz	2009-03-17 14:35	5.8K
	inverse-monotone.lisp.gz	2009-04-30 19:09	5.9K
	sine.lisp.gz	2009-01-06 11:12	8.7K
	sqrt.lisp.gz	2009-01-06 10:47	8.7K
	continuity.lisp.gz	2009-03-31 23:03	9.0K
	exp-sum.lisp.gz	2009-01-22 12:30	10K
	trig-approx.lisp.gz	2009-01-06 11:21	11K
	derivatives.lisp.gz	2009-04-01 15:52	12K
	exp.lisp.gz	2009-01-06 10:52	13K
	trig.lisp.gz	2009-02-25 07:50	18K