Index of /~moore/acl2/older-releases/v4-0/distrib/acl2-sources/books/nonstd/workshops/1999/calculus/book

	Name	Last modified	Size	Description
	Parent Directory		-
	two-times-r-is-not-less-than-standard-part.lisp.gz	2009-03-13 14:05	419
	top-with-meta.lisp.gz	2009-03-13 14:05	103
	standard-part-riemann-rcfn-is-standard.lisp.gz	2009-03-13 14:05	728
	standard-part-preserves-between.lisp.gz	2009-03-13 14:05	316
	standard-part-equal-if-i-close.lisp.gz	2009-03-13 14:05	291
	split-integral-by-subintervals.lisp.gz	2009-03-13 14:05	2.4K
	riemann.lisp.gz	2009-03-13 14:05	571
	riemann-sum-approximates-integral.lisp.gz	2009-03-13 14:05	563
	riemann-sum-approximates-integral-2.lisp.gz	2009-03-13 14:05	380
	riemann-sum-approximates-integral-1.lisp.gz	2009-03-13 14:05	1.1K
	riemann-rcfn-upper-bound.lisp.gz	2009-03-13 14:05	1.6K
	riemann-rcfn-refinement-is-riemann-rcfn.lisp.gz	2009-03-13 14:05	865
	riemann-rcfn-lower-bound.lisp.gz	2009-03-13 14:05	1.6K
	riemann-rcfn-between.lisp.gz	2009-03-13 14:05	899
	riemann-lemmas.lisp.gz	2009-03-13 14:05	3.6K
	riemann-defuns.lisp.gz	2009-03-17 17:25	1.8K
	riemann-bound.lisp.gz	2009-03-13 14:05	1.1K
	refinement-makes-i-small-change.lisp.gz	2009-03-13 14:05	941
	refinement-makes-i-small-change-1.lisp.gz	2009-03-13 14:05	454
	rcfn-standard-part.lisp.gz	2009-03-13 14:05	391
	rcfn-next-gte-close.lisp.gz	2009-03-13 14:05	727
	proof-outline.lisp.gz	2009-03-13 14:05	2.8K
	partitions-give-i-close-riemann-sum.lisp.gz	2009-03-13 14:05	416
	outline/	2014-08-04 08:28	-
	nsa.lisp.gz	2009-03-13 14:05	76
	nsa-lemmas.lisp.gz	2009-03-13 14:05	440
	next-gte-close.lisp.gz	2009-03-13 14:05	538
	min-x-between.lisp.gz	2009-03-13 14:05	383
	min-x-and-max-x-lemmas.lisp.gz	2009-03-13 14:05	549
	min-max-x-rec-lemmas.lisp.gz	2009-03-13 14:05	387
	maxlist-abslist-difflist-maps-lt.lisp.gz	2009-03-13 14:05	622
	max-x-between.lisp.gz	2009-03-13 14:05	383
	max-and-min-attained.lisp.gz	2009-03-13 14:05	807
	map-rcfn-refinement-cdr-co-member.lisp.gz	2009-03-13 14:05	706
	map-rcfn-close-to-map-rcfn-refinement.lisp.gz	2009-03-13 14:05	1.0K
	make-partition.lisp.gz	2009-03-13 14:05	202
	integral-rcfn.lisp.gz	2009-03-13 14:05	331
	integral-rcfn-quotient-between-non-classical.lisp.gz	2009-03-13 14:05	1.0K
	integral-rcfn-lemmas.lisp.gz	2009-03-13 14:05	698
	integral-rcfn-equal-if-i-close.lisp.gz	2009-03-13 14:05	350
	i-small-maxlist-abslist-difflist-maps.lisp.gz	2009-03-13 14:05	902
	i-limited-rcfn.lisp.gz	2009-03-17 17:38	366
	i-close-implies-abs-difference-small.lisp.gz	2009-03-13 14:05	294
	fundamental-theorem-of-calculus.lisp.gz	2009-03-13 14:05	965
	ftoc-lemma.lisp.gz	2009-03-17 17:39	1.3K
	equal-riemann-rcfn-refinement-reduction.lisp.gz	2009-03-13 14:05	2.0K
	defaxioms.lisp.gz	2009-03-13 14:05	227
	between-limited-implies-limited.lisp.gz	2009-03-13 14:05	310
	between-i-close-implies-i-close.lisp.gz	2009-03-13 14:05	627
	README.gz	2009-03-13 14:05	1.5K
	Makefile.gz	2009-03-13 14:05	155
	Makefile-essence.gz	2009-03-13 14:05	2.1K