| Wed, 21 May 2025 10:30:34 +0200 |
haftmann |
prefer Simplifier over bootstrap-only Raw_Simplifier
|
file |
diff |
annotate
|
| Wed, 21 May 2025 10:30:07 +0200 |
haftmann |
disambiguate function name wrt. structures Simplifier vs. Raw_Simplifier
|
file |
diff |
annotate
|
| Fri, 25 Apr 2025 18:06:12 +0200 |
wenzelm |
clarified signature: more scalable output --- avoid adhoc string concatenations after Pretty.string_of;
|
file |
diff |
annotate
|
| Mon, 02 Dec 2024 22:16:29 +0100 |
wenzelm |
more elementary operation Term.variant_bounds: only for bounds vs. frees, no consts, no tfrees;
|
file |
diff |
annotate
|
| Sun, 04 Aug 2024 17:39:47 +0200 |
wenzelm |
tuned: more explicit dest_Const_name and dest_Const_type;
|
file |
diff |
annotate
|
| Wed, 26 Jul 2023 12:58:47 +0200 |
wenzelm |
tuned signature: more operations;
|
file |
diff |
annotate
|
| Sat, 03 Sep 2022 23:10:38 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 19 Oct 2021 14:58:22 +0200 |
wenzelm |
clarified context;
|
file |
diff |
annotate
|
| Fri, 04 Jan 2019 23:22:53 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Sun, 18 Feb 2018 15:05:21 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 28 Jan 2018 19:28:52 +0100 |
wenzelm |
clarified take/drop/chop prefix/suffix;
|
file |
diff |
annotate
|
| Wed, 10 Jan 2018 15:25:09 +0100 |
nipkow |
ran isabelle update_op on all sources
|
file |
diff |
annotate
|
| Mon, 18 Dec 2017 16:58:13 +0100 |
traytel |
a conditional paramitrecity prover
|
file |
diff |
annotate
|