| #
7c43e5f4 |
|
20-May-2018 |
wenzelm <none@none> |
prefer HTTPS;
|
| #
17bc899d |
|
18-Aug-2017 |
wenzelm <none@none> |
session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
|
| #
9b9c2176 |
|
12-Aug-2016 |
wenzelm <none@none> |
more symbols;
|
| #
66281660 |
|
26-May-2016 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
| #
5fc26177 |
|
11-Sep-2014 |
blanchet <none@none> |
updated news
|
| #
d2ddb3a1 |
|
09-Sep-2014 |
blanchet <none@none> |
use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
|
| #
c3eff356 |
|
08-Sep-2014 |
blanchet <none@none> |
improved 'datatype_compat' further for recursion through functions
|
| #
b9995ead |
|
08-Dec-2013 |
wenzelm <none@none> |
more antiquotations;
|
| #
06329277 |
|
13-Aug-2013 |
wenzelm <none@none> |
standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
|
| #
7a4b6a89 |
|
21-Feb-2011 |
wenzelm <none@none> |
modernized specifications;
|
| #
8766b7dd |
|
07-Jun-2010 |
berghofe <none@none> |
Tuned.
|
| #
81352b5a |
|
07-Jun-2010 |
wenzelm <none@none> |
recovered some untested theories;
|
| #
1ff366c9 |
|
13-Dec-2008 |
berghofe <none@none> |
Modified nominal_primrec to make it work with local theories, unified syntax
with the one used by fun(ction) and new version of primrec command.
|
| #
ea79fa4d |
|
16-Jun-2008 |
urbanc <none@none> |
added a progress lemma and tuned some comments
|
| #
c0da73b9 |
|
12-Jun-2008 |
urbanc <none@none> |
soundness and completeness proofs for a CK machine as
well as proofs for type preservation
|