| Fri, 03 May 2024 00:24:57 +0200 |
wenzelm |
tuned proofs;
|
file |
diff |
annotate
|
| Fri, 03 May 2024 00:07:51 +0200 |
wenzelm |
merged, resoving conflicts in src/HOL/Nominal/Nominal.thy;
|
file |
diff |
annotate
|
| Sat, 20 Apr 2024 17:10:34 +0200 |
wenzelm |
backed out changeset 601ff5c7cad5: not relevant for Isabelle2024;
|
file |
diff |
annotate
|
| Mon, 22 Apr 2024 22:08:28 +0100 |
paulson |
More tidying of Nominal proofs
|
file |
diff |
annotate
|
| Wed, 17 Apr 2024 22:07:07 +0100 |
paulson |
Tidied up horrible archaic proofs
|
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
|
| Sat, 05 Jan 2019 17:24:33 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Tue, 16 Jan 2018 09:30:00 +0100 |
wenzelm |
standardized towards new-style formal comments: isabelle update_comments;
|
file |
diff |
annotate
|
| Fri, 18 Aug 2017 20:47:47 +0200 |
wenzelm |
session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
|
file |
diff |
annotate
|
| Thu, 26 May 2016 17:51:22 +0200 |
wenzelm |
isabelle update_cartouches -c -t;
|
file |
diff |
annotate
|
| Mon, 11 Jan 2016 21:21:02 +0100 |
wenzelm |
eliminated old defs;
|
file |
diff |
annotate
|
| Thu, 24 Sep 2015 13:33:42 +0200 |
wenzelm |
explicit indication of overloaded typedefs;
|
file |
diff |
annotate
|
| Fri, 26 Jun 2015 10:20:33 +0200 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Thu, 25 Jun 2015 23:33:47 +0200 |
wenzelm |
tuned proofs;
|
file |
diff |
annotate
|