| 2017-08-28 |
nipkow |
merged
|
changeset |
files
|
| 2017-08-28 |
nipkow |
added eta_expansion and its documentation.
|
changeset |
files
|
| 2017-08-26 |
eberlm |
More material on infinite sums
|
changeset |
files
|
| 2017-08-27 |
paulson |
merged
|
changeset |
files
|
| 2017-08-27 |
paulson |
some tidying of division_of_nontrivial
|
changeset |
files
|
| 2017-08-27 |
paulson |
division_of_nontrivial partial cleanup
|
changeset |
files
|
| 2017-08-27 |
nipkow |
tuning
|
changeset |
files
|
| 2017-08-27 |
nipkow |
tuned
|
changeset |
files
|
| 2017-08-26 |
paulson |
merged
|
changeset |
files
|
| 2017-08-26 |
paulson |
Elimination of some "presume"
|
changeset |
files
|
| 2017-08-26 |
paulson |
unscrambled Henstock_lemma_part1
|
changeset |
files
|
| 2017-08-26 |
nipkow |
merged
|
changeset |
files
|
| 2017-08-26 |
nipkow |
tuned
|
changeset |
files
|
| 2017-08-26 |
nipkow |
reorganized and added log-related lemmas
|
changeset |
files
|
| 2017-08-26 |
paulson |
merged
|
changeset |
files
|
| 2017-08-25 |
paulson |
unscrambling esp of Henstock_lemma_part1
|
changeset |
files
|
| 2017-08-25 |
paulson |
starting to unscramble bounded_variation_absolutely_integrable_interval
|
changeset |
files
|
| 2017-08-26 |
nipkow |
tuned proofs
|
changeset |
files
|
| 2017-08-25 |
nipkow |
reorganization of tree lemmas; new lemmas
|
changeset |
files
|
| 2017-08-25 |
paulson |
merged
|
changeset |
files
|
| 2017-08-25 |
paulson |
unscrambling of integrable_alt
|
changeset |
files
|
| 2017-08-25 |
paulson |
renamed s to S to work with previous change
|
changeset |
files
|
| 2017-08-24 |
paulson |
merged
|
changeset |
files
|
| 2017-08-24 |
paulson |
work on integrable_alt, etc.
|
changeset |
files
|
| 2017-08-24 |
paulson |
tidying up has_integral'
|
changeset |
files
|
| 2017-08-24 |
paulson |
more elimination of "guess", etc.
|
changeset |
files
|
| 2017-08-25 |
nipkow |
Added lemmas
|
changeset |
files
|
| 2017-08-24 |
haftmann |
swapping of theory dependency yields less pervasive syntax requiring popular symbols \<mu>, \<nu>
|
changeset |
files
|
| 2017-08-24 |
haftmann |
more correct output syntax declaration
|
changeset |
files
|
| 2017-08-24 |
nipkow |
tuned
|
changeset |
files
|
| 2017-08-24 |
paulson |
Merge (non-trivial)
|
changeset |
files
|
| 2017-08-23 |
paulson |
More tidying, and renaming of theorems
|
changeset |
files
|
| 2017-08-23 |
paulson |
merged
|
changeset |
files
|
| 2017-08-23 |
paulson |
More tidying up of monotone_convergence_interval
|
changeset |
files
|
| 2017-08-24 |
blanchet |
tuning (proofs and code)
|
changeset |
files
|
| 2017-08-24 |
blanchet |
upgraded CVC4 component to fix abnormal termination reported by Larry Paulson
|
changeset |
files
|
| 2017-08-23 |
haftmann |
dedicated local for "operative" avoids namespace pollution
|
changeset |
files
|
| 2017-08-23 |
nipkow |
reorg
|
changeset |
files
|
| 2017-08-23 |
nipkow |
added lemma
|
changeset |
files
|
| 2017-08-23 |
eberlm |
Merged
|
changeset |
files
|
| 2017-08-22 |
Manuel Eberl |
HOL-Library: going_to filter
|
changeset |
files
|
| 2017-08-22 |
paulson |
more on the dreadful monotone_convergence_interval
|
changeset |
files
|
| 2017-08-22 |
Manuel Eberl |
Lemmas about analysis and permutations
|
changeset |
files
|
| 2017-08-22 |
Lars Hupel |
tuned
|
changeset |
files
|
| 2017-08-22 |
Lars Hupel |
merged
|
changeset |
files
|
| 2017-08-22 |
Lars Hupel |
tuned syntax
|
changeset |
files
|
| 2017-08-22 |
wenzelm |
tuned;
|
changeset |
files
|
| 2017-08-22 |
Lars Hupel |
output syntax for pattern aliases
|
changeset |
files
|
| 2017-08-21 |
Manuel Eberl |
HOL-Analysis: Convergent FPS and infinite sums
|
changeset |
files
|
| 2017-08-21 |
wenzelm |
proper argument type (amending 8d5cb4ea2b7c);
|
changeset |
files
|
| 2017-08-21 |
wenzelm |
tuned;
|
changeset |
files
|
| 2017-08-21 |
wenzelm |
updated for release;
|
changeset |
files
|
| 2017-08-21 |
wenzelm |
tuned;
|
changeset |
files
|
| 2017-08-21 |
wenzelm |
misc updates for release;
|
changeset |
files
|
| 2017-08-21 |
wenzelm |
tuned;
|
changeset |
files
|
| 2017-08-21 |
wenzelm |
tuned;
|
changeset |
files
|
| 2017-08-21 |
wenzelm |
misc tuning and updates for release;
|
changeset |
files
|
| 2017-08-21 |
wenzelm |
updated to sqlite-jdbc-3.20.0;
|
changeset |
files
|
| 2017-08-21 |
wenzelm |
updated to postgresql-42.1.4;
|
changeset |
files
|
| 2017-08-21 |
wenzelm |
avoid compound edit: it causes confusion about the context of the last line, e.g. final "end";
|
changeset |
files
|