Fri, 15 Oct 2021 19:25:31 +0200 |
wenzelm |
discontinued Term.dest_abs / Logic.dest_all, which are officially superseded by Variable.dest_abs etc., but there are also Term.dest_abs_global to recover existing tools easily;
|
file |
diff |
annotate
|
Tue, 28 Sep 2021 22:14:44 +0200 |
wenzelm |
clarified antiquotations;
|
file |
diff |
annotate
|
Sat, 05 Jan 2019 17:24:33 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
Fri, 04 Jan 2019 23:22:53 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
Thu, 11 Jan 2018 13:48:17 +0100 |
wenzelm |
uniform use of Standard ML op-infix -- eliminated warnings;
|
file |
diff |
annotate
|
Wed, 10 Jan 2018 15:25:09 +0100 |
nipkow |
ran isabelle update_op on all sources
|
file |
diff |
annotate
|
Tue, 22 Aug 2017 14:34:26 +0200 |
Lars Hupel |
tuned
|
file |
diff |
annotate
|
Tue, 22 Aug 2017 11:48:57 +0200 |
Lars Hupel |
tuned syntax
|
file |
diff |
annotate
|
Tue, 22 Aug 2017 08:55:07 +0200 |
Lars Hupel |
output syntax for pattern aliases
|
file |
diff |
annotate
|
Fri, 18 Aug 2017 14:57:23 +0200 |
Lars Hupel |
syntax for pattern aliases
|
file |
diff |
annotate
|