| #
65f3e853 |
|
01-Jan-2016 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
| #
8ecffcf0 |
|
23-Jul-2015 |
wenzelm <none@none> |
isabelle update_cartouches;
|
| #
bf6c9bb9 |
|
11-Nov-2014 |
wenzelm <none@none> |
more symbols;
|
| #
794edf80 |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header uniformly as section;
|
| #
99bd04ba |
|
23-May-2012 |
wenzelm <none@none> |
eliminated obsolete fastsimp;
|
| #
8a57ae83 |
|
29-Mar-2011 |
wenzelm <none@none> |
modernized specifications -- less axioms;
|
| #
54f09540 |
|
23-Jul-2009 |
wenzelm <none@none> |
eliminated adhoc ML code;
|
| #
08142f67 |
|
23-Jul-2009 |
wenzelm <none@none> |
misc modernization: proper method setup instead of adhoc ML proofs;
|
| #
a5a5665f |
|
15-Jul-2009 |
wenzelm <none@none> |
more antiquotations;
|
| #
5317e9bf |
|
17-Sep-2008 |
wenzelm <none@none> |
back to dynamic the_context(), because static @{theory} is invalidated if ML environment changes within the same code block;
|
| #
fe16ec1f |
|
16-Jun-2008 |
wenzelm <none@none> |
pervasive RuleInsts;
|
| #
ea407404 |
|
14-Jun-2008 |
wenzelm <none@none> |
proper context for tactics derived from res_inst_tac;
|
| #
a9475b27 |
|
11-Jun-2008 |
wenzelm <none@none> |
more antiquotations;
|
| #
7501e1cc |
|
17-Jul-2006 |
wenzelm <none@none> |
removed obsolete ML files;
|
| #
476a2058 |
|
17-Sep-2005 |
wenzelm <none@none> |
converted to Isar theory format;
|
| #
f21b472e |
|
10-Oct-1997 |
wenzelm <none@none> |
fixed dots;
|
| #
8ab3cd95 |
|
05-Feb-1996 |
clasohm <none@none> |
expanded tabs
|
| #
268b511e |
|
21-Jun-1995 |
clasohm <none@none> |
removed \...\ inside strings
|
| #
f253ef6a |
|
15-Sep-1993 |
clasohm <none@none> |
Initial revision
|