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