| Wed, 23 Jun 2021 17:43:31 +0000 |
haftmann |
more default simp rules
|
file |
diff |
annotate
|
| Mon, 10 May 2021 16:14:34 +0200 |
wenzelm |
tuned proofs --- avoid z3, which is absent on arm64-linux;
|
file |
diff |
annotate
|
| Mon, 30 Nov 2020 11:06:01 +0000 |
paulson |
tweaked
|
file |
diff |
annotate
|
| Mon, 02 Dec 2019 22:40:16 -0500 |
immler |
split off metric spaces part of Function_Topology: subsequent theories Product_Topology, T1_Spaces, Lindelof_Spaces are purely topological
|
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
|
| Wed, 17 Apr 2019 17:48:28 +0100 |
paulson |
Lindelöf spaces and supporting material
|
file |
diff |
annotate
|
| Wed, 10 Apr 2019 21:29:32 +0100 |
paulson |
Fixing the main Homology theory; also moving a lot of sum/prod lemmas into their generic context
|
file |
diff |
annotate
|
| Wed, 10 Apr 2019 13:34:55 +0100 |
paulson |
The last big tranche of Homology material: invariance of domain; renamings to use generic sum/prod lemmas from their locale
|
file |
diff |
annotate
|
| Tue, 09 Apr 2019 21:05:32 +0100 |
paulson |
More homology material
|
file |
diff |
annotate
|
| Tue, 09 Apr 2019 15:30:58 +0100 |
paulson |
new Homology target, depending on HOL-Algebra and HOL-Analysis
|
file |
diff |
annotate
| base
|