| 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
|