| #
744b34a2 |
|
11-Jan-2016 |
wenzelm <none@none> |
eliminated old defs;
|
| #
e11de3a7 |
|
26-Jun-2015 |
wenzelm <none@none> |
isabelle update_cartouches;
|
| #
c9987b4b |
|
26-Jun-2015 |
wenzelm <none@none> |
tuned proofs;
|
| #
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;
|
| #
f18c332a |
|
10-Feb-2014 |
wenzelm <none@none> |
prefer vacuous definitional type classes over axiomatic ones;
|
| #
53ded129 |
|
20-Mar-2011 |
wenzelm <none@none> |
modernized specifications;
|
| #
428da570 |
|
24-Feb-2010 |
wenzelm <none@none> |
observe standard convention for syntax consts;
|
| #
164ee5c8 |
|
23-Feb-2010 |
haftmann <none@none> |
dropped axclass, going back to purely syntactic type classes
|
| #
bd7d809a |
|
11-Feb-2010 |
wenzelm <none@none> |
modernized syntax/translations;
tuned headers;
|
| #
4a856837 |
|
01-Dec-2006 |
wenzelm <none@none> |
TLA: converted legacy ML scripts;
|
| #
f55bd273 |
|
07-Sep-2005 |
wenzelm <none@none> |
converted to Isar theory format;
|
| #
0e25e9f7 |
|
29-Dec-2001 |
wenzelm <none@none> |
update by Stephan Merz;
|
| #
543684e4 |
|
01-Dec-2001 |
wenzelm <none@none> |
renamed class "term" to "type" (actually "HOL.type");
|
| #
49f4684e |
|
05-Oct-2001 |
wenzelm <none@none> |
tuned;
|
| #
0c0fa6ed |
|
08-Feb-1999 |
wenzelm <none@none> |
updated (Stephan Merz);
|
| #
8b3b3609 |
|
08-Oct-1997 |
wenzelm <none@none> |
A formalization of TLA in HOL -- by Stephan Merz;
|