| Wed, 10 Jan 2018 15:21:49 +0100 |
nipkow |
Manual updates towards conversion of "op" syntax
|
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
|
| Tue, 12 Jul 2016 20:03:18 +0200 |
wenzelm |
misc tuning and modernization;
|
file |
diff |
annotate
|
| Sat, 10 Oct 2015 19:22:05 +0200 |
wenzelm |
prefer symbols;
|
file |
diff |
annotate
|
| Fri, 09 Oct 2015 20:26:03 +0200 |
wenzelm |
discontinued specific HTML syntax;
|
file |
diff |
annotate
|
| Wed, 17 Jun 2015 11:03:05 +0200 |
wenzelm |
isabelle update_cartouches;
|
file |
diff |
annotate
|
| Sun, 02 Nov 2014 17:20:45 +0100 |
wenzelm |
modernized header;
|
file |
diff |
annotate
|
| Thu, 07 May 2009 16:22:34 +0200 |
haftmann |
better to have distinguished class for preorders
|
file |
diff |
annotate
|
| Thu, 07 May 2009 12:17:17 +0200 |
haftmann |
added theory for explicit equivalence relation in preorders
|
file |
diff |
annotate
|