| Mon, 10 Jun 2024 14:09:55 +0200 |
desharna |
renamed theorems
|
file |
diff |
annotate
|
| Tue, 13 Feb 2024 17:18:50 +0000 |
paulson |
A few lemmas brought in from AFP entries
|
file |
diff |
annotate
|
| Fri, 22 Jul 2022 14:39:56 +0200 |
Fabian Huch |
tuned (some HOL lints, by Yecine Megdiche);
|
file |
diff |
annotate
|
| Fri, 21 Aug 2020 12:42:57 +0100 |
paulson |
reversing all the lex crap
|
file |
diff |
annotate
|
| Mon, 17 Aug 2020 15:42:38 +0100 |
paulson |
S Holub's proposed generalisation of the lexicographic product of two orderings
|
file |
diff |
annotate
|
| Thu, 06 Aug 2020 13:07:23 +0100 |
paulson |
a few more lemmas
|
file |
diff |
annotate
|
| Mon, 27 Jan 2020 14:32:43 +0000 |
paulson |
A few lemmas connected with orderings
|
file |
diff |
annotate
|
| Tue, 13 Aug 2019 10:27:21 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 14 Mar 2019 16:55:06 +0100 |
wenzelm |
more specific keyword kinds;
|
file |
diff |
annotate
|
| Sun, 06 Jan 2019 15:04:34 +0100 |
wenzelm |
isabelle update -u path_cartouches;
|
file |
diff |
annotate
|
| Thu, 15 Feb 2018 12:11:00 +0100 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Mon, 22 Jan 2018 16:08:50 +0100 |
Lars Hupel |
drop redundant fundef_cong rule
|
file |
diff |
annotate
|
| Tue, 16 Jan 2018 09:30:00 +0100 |
wenzelm |
standardized towards new-style formal comments: isabelle update_comments;
|
file |
diff |
annotate
|
| Sat, 17 Dec 2016 15:22:13 +0100 |
haftmann |
restructured matter on polynomials and normalized fractions
|
file |
diff |
annotate
|
| Wed, 10 Aug 2016 22:05:36 +0200 |
wenzelm |
misc tuning and modernization;
|
file |
diff |
annotate
|