Mon, 11 Mar 2024 15:07:02 +0000 |
paulson |
New material by Wenda Li and Manuel Eberl
|
file |
diff |
annotate
|
Mon, 30 Jan 2023 15:24:17 +0000 |
paulson |
Moved in a large number of highly useful library lemmas, mostly due to Manuel Eberl
|
file |
diff |
annotate
|
Wed, 31 Aug 2022 23:05:12 +0200 |
wenzelm |
eliminated odd Unicode blanks;
|
file |
diff |
annotate
|
Tue, 24 May 2022 16:21:49 +0100 |
paulson |
Renamed the misleading has_field_derivative_iff_has_vector_derivative. Inserted a number of minor lemmas
|
file |
diff |
annotate
|
Wed, 09 Mar 2022 12:43:48 +0000 |
paulson |
Tidied some messy proofs
|
file |
diff |
annotate
|
Sat, 04 Dec 2021 20:30:16 +0000 |
paulson |
a slightly simpler proof
|
file |
diff |
annotate
|
Fri, 16 Jul 2021 14:43:25 +0100 |
paulson |
A few new lemmas and simplifications
|
file |
diff |
annotate
|
Thu, 08 Jul 2021 08:44:18 +0200 |
desharna |
merged
|
file |
diff |
annotate
|
Thu, 08 Jul 2021 08:42:36 +0200 |
desharna |
added opaque_combs and renamed hide_lams to opaque_lifting
|
file |
diff |
annotate
|
Mon, 28 Jun 2021 15:05:46 +0100 |
paulson |
A few useful lemmas about derivatives, colinearity and other topics
|
file |
diff |
annotate
|
Thu, 03 Jun 2021 10:47:20 +0100 |
paulson |
new lemmas mostly about paths
|
file |
diff |
annotate
|
Sun, 11 Oct 2020 14:56:03 +0100 |
paulson |
tidying and removal of legacy name
|
file |
diff |
annotate
|
Tue, 08 Sep 2020 15:30:15 +0100 |
paulson |
tidying and de-applying
|
file |
diff |
annotate
|
Thu, 27 Aug 2020 12:14:46 +0100 |
paulson |
tidying up some theorem statements
|
file |
diff |
annotate
|
Wed, 13 May 2020 12:55:33 +0200 |
Manuel Eberl |
new constant power_int in HOL
|
file |
diff |
annotate
|