| #
a4bab154 |
|
04-Jan-2019 |
wenzelm <none@none> |
isabelle update -u control_cartouches;
|
| #
8ecffcf0 |
|
23-Jul-2015 |
wenzelm <none@none> |
isabelle update_cartouches;
|
| #
7f7de75b |
|
18-Jul-2015 |
wenzelm <none@none> |
prefer tactics with explicit context;
|
| #
f67d856d |
|
25-Mar-2015 |
wenzelm <none@none> |
prefer local fixes;
|
| #
bf6c9bb9 |
|
11-Nov-2014 |
wenzelm <none@none> |
more symbols;
|
| #
50405a47 |
|
11-Nov-2014 |
wenzelm <none@none> |
more Isar proof methods;
|
| #
794edf80 |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header uniformly as section;
|
| #
99bd04ba |
|
23-May-2012 |
wenzelm <none@none> |
eliminated obsolete fastsimp;
|
| #
b2a46aad |
|
29-Mar-2011 |
wenzelm <none@none> |
modernized specifications -- some attempts to avoid wild axiomatizations;
comp: retain infix \<circ> to retain type "o" from FOL;
tuned proofs;
|
| #
80a964bc |
|
12-Jan-2011 |
wenzelm <none@none> |
eliminated global prems;
|
| #
27ff3609 |
|
06-Sep-2010 |
wenzelm <none@none> |
more antiquotations;
|
| #
458a4961 |
|
13-Mar-2010 |
wenzelm <none@none> |
removed old CVS Ids;
tuned headers;
|
| #
ea407404 |
|
14-Jun-2008 |
wenzelm <none@none> |
proper context for tactics derived from res_inst_tac;
|
| #
95ee7518 |
|
21-Jul-2007 |
wenzelm <none@none> |
tactics: avoid dynamic reference to accidental theory context (via ML_Context.the_context etc.);
|
| #
7501e1cc |
|
17-Jul-2006 |
wenzelm <none@none> |
removed obsolete ML files;
|
| #
476a2058 |
|
17-Sep-2005 |
wenzelm <none@none> |
converted to Isar theory format;
|
| #
8ab3cd95 |
|
05-Feb-1996 |
clasohm <none@none> |
expanded tabs
|
| #
d1f26c21 |
|
21-Mar-1994 |
clasohm <none@none> |
changed "." to "$" and added parentheses to eliminate ambiguity
|
| #
f253ef6a |
|
15-Sep-1993 |
clasohm <none@none> |
Initial revision
|