| Tue, 10 Oct 2017 17:15:37 +0100 |
paulson |
Divided Topology_Euclidean_Space in two, creating new theory Connected. Also deleted some duplicate / variant theorems
|
file |
diff |
annotate
|
| Thu, 31 Aug 2017 18:30:18 +0100 |
paulson |
more proof simplificaition
|
file |
diff |
annotate
|
| Thu, 24 Aug 2017 12:45:46 +0100 |
paulson |
Merge (non-trivial)
|
file |
diff |
annotate
|
| Wed, 23 Aug 2017 23:46:35 +0100 |
paulson |
More tidying, and renaming of theorems
|
file |
diff |
annotate
|
| Wed, 23 Aug 2017 22:05:53 +0200 |
haftmann |
dedicated local for "operative" avoids namespace pollution
|
file |
diff |
annotate
|
| Mon, 07 Aug 2017 12:04:58 +0200 |
paulson |
more Henstock_Kurzweil_Integration cleanup
|
file |
diff |
annotate
|
| Thu, 03 Aug 2017 14:15:06 +0200 |
paulson |
more tidying
|
file |
diff |
annotate
|
| Thu, 03 Aug 2017 11:29:08 +0200 |
paulson |
more tidying up
|
file |
diff |
annotate
|
| Wed, 02 Aug 2017 23:15:15 +0200 |
paulson |
removed all "guess"
|
file |
diff |
annotate
|
| Wed, 02 Aug 2017 16:31:42 +0200 |
paulson |
fixed another horrible proof
|
file |
diff |
annotate
|
| Mon, 31 Jul 2017 15:38:21 +0100 |
paulson |
more cleanup of Tagged_Division
|
file |
diff |
annotate
|
| Sun, 30 Jul 2017 21:44:23 +0100 |
paulson |
partial cleanup of the horrible Tagged_Division
|
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
|
| Wed, 26 Jul 2017 13:36:36 +0100 |
paulson |
moved transitive_stepwise_le into Nat, where it belongs
|
file |
diff |
annotate
|
| Mon, 24 Jul 2017 16:50:46 +0100 |
paulson |
refactored some HORRIBLE integration proofs
|
file |
diff |
annotate
|
| Mon, 26 Jun 2017 16:59:44 +0100 |
paulson |
More tidying of horrible proofs
|
file |
diff |
annotate
|
| Mon, 26 Jun 2017 14:26:03 +0100 |
paulson |
A few renamings and several tidied-up proofs
|
file |
diff |
annotate
|
| Thu, 22 Jun 2017 16:31:29 +0100 |
paulson |
New theorems and much tidying up of the old ones
|
file |
diff |
annotate
|
| Wed, 21 Jun 2017 17:13:55 +0100 |
paulson |
Tidying up integration theory and some new theorems
|
file |
diff |
annotate
|
| Mon, 19 Jun 2017 16:42:28 +0100 |
paulson |
Repaired an inadvertent reordering of the premises of two theorems
|
file |
diff |
annotate
|
| Mon, 19 Jun 2017 16:07:47 +0100 |
paulson |
New theorems; stronger theorems; tidier theorems. Also some renaming
|
file |
diff |
annotate
|
| Tue, 17 Jan 2017 13:59:10 +0100 |
wenzelm |
isabelle update_cartouches -c -t;
|
file |
diff |
annotate
|
| Tue, 17 Jan 2017 11:26:21 +0100 |
wenzelm |
more symbols via abbrevs;
|
file |
diff |
annotate
|
| Mon, 17 Oct 2016 11:46:22 +0200 |
nipkow |
setsum -> sum
|
file |
diff |
annotate
|
| Thu, 29 Sep 2016 13:02:43 +0200 |
hoelzl |
HOL-Analysis: move gauges and (tagged) divisions to its own theory file
|
file |
diff |
annotate
|