| Wed, 18 Sep 2019 14:41:37 +0100 |
paulson |
imported new material mostly due to Sébastien Gouëzel
|
file |
diff |
annotate
|
| Thu, 02 May 2019 15:40:36 +0100 |
paulson |
clearout of some useless lemmas
|
file |
diff |
annotate
|
| Wed, 01 May 2019 14:38:42 +0100 |
paulson |
more tidying and de-applying
|
file |
diff |
annotate
|
| Tue, 30 Apr 2019 21:04:08 +0100 |
paulson |
huge de-apply effort
|
file |
diff |
annotate
|
| Sat, 05 Jan 2019 17:24:33 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Thu, 28 Jun 2018 14:13:57 +0100 |
paulson |
Generalising and renaming some basic results
|
file |
diff |
annotate
|
| Tue, 26 Jun 2018 15:44:35 +0100 |
paulson |
deleted redundant theorem
|
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
|
| Tue, 01 Nov 2016 01:04:53 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 01 Nov 2016 00:44:24 +0100 |
wenzelm |
misc tuning and modernization;
|
file |
diff |
annotate
|
| Fri, 16 Sep 2016 21:28:09 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Mon, 29 Feb 2016 22:34:36 +0100 |
wenzelm |
clarified session;
|
file |
diff |
annotate
| base
|