| Sat, 30 Nov 2019 13:47:33 +0100 |
Manuel Eberl |
Split off new HOL-Complex_Analysis session from HOL-Analysis
|
file |
diff |
annotate
|
| Wed, 09 Oct 2019 14:51:54 +0000 |
haftmann |
dedicated fact collections for algebraic simplification rules potentially splitting goals
|
file |
diff |
annotate
|
| Tue, 19 Mar 2019 16:14:51 +0000 |
paulson |
new material about topology, etc.; also fixes for yesterday's
|
file |
diff |
annotate
|
| Fri, 25 Jan 2019 02:38:26 +0000 |
Angeliki KoutsoukouArgyraki |
tagged 4 theories
|
file |
diff |
annotate
|
| Thu, 17 Jan 2019 16:38:00 -0500 |
immler |
subsection is always %important
|
file |
diff |
annotate
|
| Sun, 18 Nov 2018 18:07:51 +0000 |
haftmann |
removed legacy input syntax
|
file |
diff |
annotate
|
| Tue, 28 Aug 2018 13:28:39 +0100 |
Angeliki KoutsoukouArgyraki |
tagged 21 theories in the Analysis library for the manual
|
file |
diff |
annotate
|
| Fri, 20 Apr 2018 19:11:17 +0100 |
paulson |
three new theorems
|
file |
diff |
annotate
|
| Tue, 17 Apr 2018 22:35:48 +0100 |
paulson |
Change of variables proof
|
file |
diff |
annotate
|
| Tue, 17 Apr 2018 12:09:23 +0100 |
paulson |
Vitali covering theorem
|
file |
diff |
annotate
|