| Tue, 31 Mar 2020 15:51:15 +0200 |
nipkow |
cleaned proofs
|
file |
diff |
annotate
|
| Fri, 12 Apr 2019 22:09:25 +0200 |
wenzelm |
modernized tags: default scope excludes proof;
|
file |
diff |
annotate
|
| Thu, 17 Jan 2019 16:38:00 -0500 |
immler |
subsection is always %important
|
file |
diff |
annotate
|
| Thu, 17 Jan 2019 16:37:06 -0500 |
immler |
no need for %unimportant for proofs of proposition
|
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
|
| Thu, 17 Jan 2019 16:08:41 +0000 |
Angeliki KoutsoukouArgyraki |
merge
|
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
|
| Wed, 16 Jan 2019 18:14:02 -0500 |
immler |
Reorg, in particular Determinants as well as some linear algebra from Starlike and Change_Of_Vars
|
file |
diff |
annotate
|
| Thu, 27 Dec 2018 19:48:28 +0100 |
nipkow |
tuned headers; ~ -> \<not>
|
file |
diff |
annotate
|
| Tue, 04 Sep 2018 08:40:53 +0200 |
nipkow |
tuned
|
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, 19 Jun 2018 12:14:12 +0100 |
paulson |
fixing overloading problems involving vector cross products
|
file |
diff |
annotate
|
| Mon, 18 Jun 2018 15:56:03 +0100 |
paulson |
corrections to markup
|
file |
diff |
annotate
|
| Mon, 18 Jun 2018 14:22:26 +0100 |
paulson |
New material in support of quaternions
|
file |
diff |
annotate
|