Tue, 30 Apr 2019 13:01:22 +0100 |
paulson |
A bit of de-applying
|
file |
diff |
annotate
|
Mon, 29 Apr 2019 00:36:43 +0100 |
paulson |
final tidying-up
|
file |
diff |
annotate
|
Sun, 28 Apr 2019 18:06:47 +0100 |
paulson |
further de-applying
|
file |
diff |
annotate
|
Sun, 28 Apr 2019 16:50:19 +0100 |
paulson |
removal of ASCII connectives; some de-applying
|
file |
diff |
annotate
|
Sat, 05 Jan 2019 17:24:33 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
Tue, 10 Jul 2018 23:18:08 +0100 |
paulson |
de-applying, etc.
|
file |
diff |
annotate
|
Tue, 16 Jan 2018 09:30:00 +0100 |
wenzelm |
standardized towards new-style formal comments: isabelle update_comments;
|
file |
diff |
annotate
|
Sun, 26 Nov 2017 21:08:32 +0100 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
Sat, 04 Nov 2017 19:17:19 +0100 |
wenzelm |
prefer main entry points of HOL;
|
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
|
Mon, 29 Feb 2016 22:34:36 +0100 |
wenzelm |
clarified session;
|
file |
diff |
annotate
| base
|