| Wed, 09 Oct 2024 23:38:29 +0200 |
wenzelm |
more inner-syntax markup;
|
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
|
| Fri, 30 Aug 2024 10:16:48 +0100 |
paulson |
More tidying of old proofs
|
file |
diff |
annotate
|
| Fri, 26 Jan 2024 11:19:22 +0000 |
paulson |
Type class patch suggested by Achim Brucker, plus tidied lemma
|
file |
diff |
annotate
|
| Tue, 17 May 2022 14:10:14 +0100 |
paulson |
tidied auto / simp with null arguments
|
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
|
| Sun, 15 Nov 2020 07:17:06 +0000 |
haftmann |
bundles for reflected term syntax
|
file |
diff |
annotate
|
| Mon, 04 Nov 2019 21:41:55 -0500 |
immler |
add lemmas
|
file |
diff |
annotate
|
| Sun, 03 Nov 2019 19:59:56 -0500 |
immler |
refactor Approximation.thy to use more abstract type of intervals
|
file |
diff |
annotate
|
| Sun, 27 Oct 2019 21:51:14 -0400 |
immler |
moved theory Interval from the AFP
|
file |
diff |
annotate
|