| #
f5796e6d |
|
14-Feb-2018 |
wenzelm <none@none> |
more symbols;
|
| #
e11de3a7 |
|
26-Jun-2015 |
wenzelm <none@none> |
isabelle update_cartouches;
|
| #
69b24741 |
|
26-Jun-2015 |
wenzelm <none@none> |
more symbols;
|
| #
403911ef |
|
26-Jun-2015 |
wenzelm <none@none> |
more symbols;
|
| #
794edf80 |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header uniformly as section;
|
| #
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
|
| #
438b107d |
|
23-May-2012 |
wenzelm <none@none> |
eliminated old 'axioms';
|
| #
216c8115 |
|
16-Jan-2011 |
wenzelm <none@none> |
tuned headers;
|
| #
b3e80250 |
|
29-Apr-2010 |
wenzelm <none@none> |
avoid clash with keyword 'write';
|
| #
4a856837 |
|
01-Dec-2006 |
wenzelm <none@none> |
TLA: converted legacy ML scripts;
|
| #
f55bd273 |
|
07-Sep-2005 |
wenzelm <none@none> |
converted to Isar theory format;
|
| #
ace2eaf8 |
|
03-Aug-2000 |
wenzelm <none@none> |
tuned version by Stephan Merz (unbatchified etc.);
|
| #
0c0fa6ed |
|
08-Feb-1999 |
wenzelm <none@none> |
updated (Stephan Merz);
|
| #
44410443 |
|
24-Jul-1998 |
berghofe <none@none> |
Adapted to new datatype package.
|
| #
8b3b3609 |
|
08-Oct-1997 |
wenzelm <none@none> |
A formalization of TLA in HOL -- by Stephan Merz;
|