| Sat, 25 Jan 2025 18:40:21 +0000 |
paulson |
Tidied
|
file |
diff |
annotate
|
| Tue, 14 Jan 2025 22:35:03 +0000 |
paulson |
Some work on an ancient theory file. And a weird failure in Float.thy
|
file |
diff |
annotate
|
| Sun, 27 Oct 2024 22:35:02 +0100 |
wenzelm |
tuned proofs;
|
file |
diff |
annotate
|
| Fri, 20 Sep 2024 19:51:08 +0200 |
wenzelm |
standardize mixfix annotations via "isabelle update -a -u mixfix_cartouches" --- to simplify systematic editing;
|
file |
diff |
annotate
|
| Mon, 19 Dec 2022 16:00:49 +0100 |
desharna |
strengthened and renamed lemmas preorder.transp_(ge|gr|le|less)
|
file |
diff |
annotate
|
| Tue, 05 Jul 2022 09:44:38 +0200 |
desharna |
fixed diverging simproc cont_intro
|
file |
diff |
annotate
|
| Tue, 21 Jun 2022 13:39:06 +0200 |
desharna |
added predicate monotone_on and redefined monotone to be an abbreviation.
|
file |
diff |
annotate
|
| Tue, 21 Sep 2021 00:20:47 +0200 |
wenzelm |
bundle lattice_syntax / no_lattice_syntax supersedes theory HOL-Library.Lattice_Syntax;
|
file |
diff |
annotate
|
| Thu, 11 Mar 2021 07:05:38 +0000 |
haftmann |
avoid name clash
|
file |
diff |
annotate
|
| Mon, 28 Oct 2019 18:50:40 +0000 |
Peter Lammich |
Removed dup lemma that inhibited locale instantiations (dup fact error)
|
file |
diff |
annotate
|
| Fri, 04 Jan 2019 23:22:53 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Sun, 30 Dec 2018 10:34:56 +0000 |
haftmann |
prefer naming convention from datatype package for strong congruence rules
|
file |
diff |
annotate
|
| Sun, 21 Oct 2018 09:39:09 +0200 |
nipkow |
uniform naming of strong congruence rules
|
file |
diff |
annotate
|
| Sun, 23 Sep 2018 17:14:06 +0200 |
nipkow |
More standard precedences
|
file |
diff |
annotate
|
| Sun, 23 Sep 2018 15:42:19 +0200 |
nipkow |
more standard syntax
|
file |
diff |
annotate
|