| Mon, 27 Feb 2017 17:17:26 +0000 |
paulson |
Some new lemmas thanks to Lukas Bulwahn. Also, NEWS.
|
file |
diff |
annotate
|
| Wed, 22 Feb 2017 12:30:28 +0000 |
paulson |
new lemmas about segments, etc. Also recast some theorems to use Union rather than general set comprehensions
|
file |
diff |
annotate
|
| Tue, 21 Feb 2017 15:04:01 +0000 |
paulson |
Some new lemmas. Existing lemmas modified to use uniform_limit rather than its expansion
|
file |
diff |
annotate
|
| Thu, 05 Jan 2017 14:18:24 +0000 |
paulson |
New material about path connectedness, etc.
|
file |
diff |
annotate
|
| Wed, 04 Jan 2017 16:18:50 +0000 |
paulson |
Many new theorems, and more tidying
|
file |
diff |
annotate
|
| Tue, 25 Oct 2016 15:46:07 +0100 |
paulson |
more new material
|
file |
diff |
annotate
|
| Tue, 18 Oct 2016 15:55:53 +0100 |
paulson |
more from moretop.ml
|
file |
diff |
annotate
|
| Mon, 17 Oct 2016 11:46:22 +0200 |
nipkow |
setsum -> sum
|
file |
diff |
annotate
|
| Sun, 16 Oct 2016 09:31:04 +0200 |
haftmann |
more standardized names
|
file |
diff |
annotate
|
| Mon, 10 Oct 2016 15:45:41 +0100 |
paulson |
invariance of domain
|
file |
diff |
annotate
|
| Mon, 03 Oct 2016 13:01:01 +0100 |
paulson |
new theorems including the theory FurtherTopology
|
file |
diff |
annotate
|
| Fri, 30 Sep 2016 15:35:37 +0200 |
hoelzl |
HOL-Analysis: move Product_Vector and Inner_Product from Library
|
file |
diff |
annotate
|
| Fri, 30 Sep 2016 12:00:17 +0200 |
hoelzl |
HOL-Analysis: move Library/Convex to Convex_Euclidean_Space
|
file |
diff |
annotate
|
| Fri, 30 Sep 2016 14:05:51 +0100 |
paulson |
new material on paths, etc. Also rationalisation
|
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
|
| Thu, 29 Sep 2016 12:58:55 +0100 |
paulson |
more new material
|
file |
diff |
annotate
|
| Tue, 27 Sep 2016 16:24:53 +0100 |
paulson |
a few new theorems and a renaming
|
file |
diff |
annotate
|
| Thu, 22 Sep 2016 15:44:47 +0100 |
paulson |
More mainly topological results
|
file |
diff |
annotate
|
| Wed, 21 Sep 2016 16:59:51 +0100 |
paulson |
new material about topological concepts, etc
|
file |
diff |
annotate
|
| Mon, 19 Sep 2016 20:06:21 +0200 |
fleury |
left_distrib ~> distrib_right, right_distrib ~> distrib_left
|
file |
diff |
annotate
|
| Thu, 15 Sep 2016 15:48:37 +0100 |
paulson |
lots of new results about topology, affine dimension etc
|
file |
diff |
annotate
|
| Mon, 08 Aug 2016 14:13:14 +0200 |
hoelzl |
rename HOL-Multivariate_Analysis to HOL-Analysis.
|
file |
diff |
annotate
| base
|