| #
17bc899d |
|
18-Aug-2017 |
wenzelm <none@none> |
session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
|
| #
66281660 |
|
26-May-2016 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
| #
8f15946b |
|
11-Sep-2014 |
blanchet <none@none> |
speed up old Nominal by killing type variables
|
| #
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.
|
| #
6d70f0e0 |
|
12-Jun-2008 |
urbanc <none@none> |
tuned header and comments
|
| #
17427c15 |
|
01-Jun-2008 |
urbanc <none@none> |
new example
|