| Thu, 08 Nov 2018 09:11:52 +0100 |
haftmann |
removed relics of ASCII syntax for indexed big operators
|
file |
diff |
annotate
|
| Sun, 21 Oct 2018 23:02:52 +0100 |
Angeliki KoutsoukouArgyraki |
tagged 8 theories for the Analysis manual.
|
file |
diff |
annotate
|
| Sat, 14 Apr 2018 15:36:49 +0100 |
paulson |
a few new theorems and some fixes
|
file |
diff |
annotate
|
| Tue, 16 Jan 2018 09:30:00 +0100 |
wenzelm |
standardized towards new-style formal comments: isabelle update_comments;
|
file |
diff |
annotate
|
| Wed, 10 Jan 2018 15:25:09 +0100 |
nipkow |
ran isabelle update_op on all sources
|
file |
diff |
annotate
|
| Tue, 29 Aug 2017 17:41:11 +0100 |
paulson |
last-minute integration unscrambling
|
file |
diff |
annotate
|
| Wed, 23 Aug 2017 23:46:35 +0100 |
paulson |
More tidying, and renaming of theorems
|
file |
diff |
annotate
|
| Sun, 13 Aug 2017 19:24:33 +0100 |
paulson |
general rationalisation of Analysis
|
file |
diff |
annotate
|
| Tue, 01 Aug 2017 17:33:04 +0200 |
wenzelm |
isabelle update_cartouches -c -t;
|
file |
diff |
annotate
|
| Wed, 26 Jul 2017 16:07:45 +0100 |
paulson |
New theory of Equiintegrability / Continuity of the indefinite integral / improper integration
|
file |
diff |
annotate
|