#
ed7a971e |
|
05-Jan-2019 |
wenzelm <none@none> |
isabelle update -u control_cartouches;
|
#
f5796e6d |
|
14-Feb-2018 |
wenzelm <none@none> |
more symbols;
|
#
5f64552a |
|
11-Jan-2016 |
wenzelm <none@none> |
eliminated old defs;
|
#
744b34a2 |
|
11-Jan-2016 |
wenzelm <none@none> |
eliminated old defs;
|
#
e11de3a7 |
|
26-Jun-2015 |
wenzelm <none@none> |
isabelle update_cartouches;
|
#
b0d49015 |
|
26-Jun-2015 |
wenzelm <none@none> |
more symbols; eliminated alternative syntax;
|
#
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;
|
#
63a76875 |
|
14-Dec-2013 |
wenzelm <none@none> |
proper context for basic Simplifier operations: rewrite_rule, rewrite_goals_rule, rewrite_goals_tac etc.; clarified tool context in some boundary cases;
|
#
0928b2db |
|
18-Apr-2013 |
wenzelm <none@none> |
simplifier uses proper Proof.context instead of historic type simpset;
|
#
27d87a3c |
|
12-May-2011 |
wenzelm <none@none> |
proper method_setup;
|
#
53ded129 |
|
20-Mar-2011 |
wenzelm <none@none> |
modernized specifications;
|
#
216c8115 |
|
16-Jan-2011 |
wenzelm <none@none> |
tuned headers;
|
#
27ff3609 |
|
06-Sep-2010 |
wenzelm <none@none> |
more antiquotations;
|
#
69e613f3 |
|
17-May-2008 |
wenzelm <none@none> |
tuned proofs;
|
#
bd98015c |
|
19-Mar-2008 |
wenzelm <none@none> |
more antiquotations;
|
#
4a856837 |
|
01-Dec-2006 |
wenzelm <none@none> |
TLA: converted legacy ML scripts;
|
#
f55bd273 |
|
07-Sep-2005 |
wenzelm <none@none> |
converted to Isar theory format;
|
#
49f4684e |
|
05-Oct-2001 |
wenzelm <none@none> |
tuned;
|
#
ace2eaf8 |
|
03-Aug-2000 |
wenzelm <none@none> |
tuned version by Stephan Merz (unbatchified etc.);
|
#
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;
|