Tue, 22 Jan 2019 10:50:35 +0000 |
paulson |
some renamings and a bit of new material
|
file |
diff |
annotate
|
Thu, 17 Jan 2019 16:38:00 -0500 |
immler |
subsection is always %important
|
file |
diff |
annotate
|
Thu, 17 Jan 2019 16:28:07 -0500 |
immler |
redo tagging-related changes from a06b204527e6, 0f4d4a13dc16, and a8faf6f15da7
|
file |
diff |
annotate
|
Thu, 17 Jan 2019 16:22:21 -0500 |
immler |
revert to 56acd449da41
|
file |
diff |
annotate
|
Wed, 16 Jan 2019 21:27:33 +0000 |
Angeliki KoutsoukouArgyraki |
updated tagging for 9 theories: Cross3, Determinants, Tagged_Division, Change_of_Vars, Extended_Real_Limits, Fashoda, Finite_Cartesian_Product, Function_Topology, Finite_Product_Measure
|
file |
diff |
annotate
|
Sat, 05 Jan 2019 17:24:33 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
Tue, 01 Jan 2019 21:47:27 +0100 |
wenzelm |
more antiquotations -- less LaTeX macros;
|
file |
diff |
annotate
|
Fri, 28 Dec 2018 10:29:59 +0100 |
nipkow |
tuned style and headers
|
file |
diff |
annotate
|
Thu, 08 Nov 2018 09:11:52 +0100 |
haftmann |
removed relics of ASCII syntax for indexed big operators
|
file |
diff |
annotate
|
Fri, 21 Sep 2018 20:47:34 +0100 |
paulson |
more on product (function) topologies
|
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
|
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
|
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
|
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, 09 Jan 2017 14:00:13 +0000 |
paulson |
Advanced topology
|
file |
diff |
annotate
|
Tue, 18 Oct 2016 17:29:28 +0200 |
hoelzl |
HOL-Analysis: move Function Topology from AFP/Ergodict_Theory; HOL-Probability: move Essential Supremum from AFP/Lp
|
file |
diff |
annotate
|