| Mon, 26 Feb 2018 07:34:05 +0100 |
immler |
moved Lipschitz continuity from AFP/Ordinary_Differential_Equations and AFP/Gromov_Hyperbolicity; moved lemmas from AFP/Gromov_Hyperbolicity/Library_Complements
|
file |
diff |
annotate
|
| Fri, 23 Feb 2018 14:56:32 +0000 |
Wenda Li |
merged
|
file |
diff |
annotate
|
| Fri, 23 Feb 2018 13:27:19 +0000 |
Wenda Li |
Unified the order of zeros and poles; improved reasoning around non-essential singularites
|
file |
diff |
annotate
|
| Thu, 22 Feb 2018 18:01:08 +0100 |
immler |
merged
|
file |
diff |
annotate
|
| Thu, 22 Feb 2018 15:17:25 +0100 |
immler |
moved theorems from AFP/Affine_Arithmetic and AFP/Ordinary_Differential_Equations
|
file |
diff |
annotate
|
| Wed, 21 Feb 2018 12:57:49 +0000 |
paulson |
Lots of new material about matrices, etc.
|
file |
diff |
annotate
|
| Mon, 19 Feb 2018 16:44:45 +0000 |
paulson |
lots of new material, ultimately related to measure theory
|
file |
diff |
annotate
|
| Thu, 08 Feb 2018 11:48:02 +0100 |
immler |
more elementary proof of connected_Times, earlier
|
file |
diff |
annotate
|
| Fri, 19 Jan 2018 15:50:17 +0100 |
nipkow |
corrected name
|
file |
diff |
annotate
|
| Thu, 18 Jan 2018 17:04:35 +0100 |
nipkow |
moved from AFP/Gromov
|
file |
diff |
annotate
|
| Wed, 10 Jan 2018 15:25:09 +0100 |
nipkow |
ran isabelle update_op on all sources
|
file |
diff |
annotate
|
| Thu, 21 Dec 2017 19:55:41 +0100 |
nipkow |
tuned op's
|
file |
diff |
annotate
|
| Thu, 21 Dec 2017 19:09:18 +0100 |
nipkow |
tuned op's
|
file |
diff |
annotate
|
| Thu, 07 Dec 2017 15:48:50 +0100 |
nipkow |
canonical name
|
file |
diff |
annotate
|
| Mon, 30 Oct 2017 19:29:06 +0000 |
haftmann |
added lemma
|
file |
diff |
annotate
|
| Mon, 30 Oct 2017 16:02:59 +0000 |
paulson |
New results in topology, mostly from HOL Light's moretop.ml
|
file |
diff |
annotate
|
| Thu, 19 Oct 2017 17:16:01 +0100 |
paulson |
Switching to inverse image and constant_on, plus some new material
|
file |
diff |
annotate
|
| Tue, 10 Oct 2017 22:18:58 +0100 |
paulson |
fixed markup
|
file |
diff |
annotate
|
| 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
|