| #
ed7a971e |
|
05-Jan-2019 |
wenzelm <none@none> |
isabelle update -u control_cartouches;
|
| #
f5796e6d |
|
14-Feb-2018 |
wenzelm <none@none> |
more symbols;
|
| #
66281660 |
|
26-May-2016 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
| #
7f7de75b |
|
18-Jul-2015 |
wenzelm <none@none> |
prefer tactics with explicit context;
|
| #
f67d856d |
|
25-Mar-2015 |
wenzelm <none@none> |
prefer local fixes;
|
| #
4755f472 |
|
10-Feb-2015 |
wenzelm <none@none> |
tuned;
|
| #
b8d56fe6 |
|
10-Feb-2015 |
wenzelm <none@none> |
proper context for resolve_tac, eresolve_tac, dresolve_tac, forward_tac etc.;
occasionally clarified use of context;
|
| #
4eae0352 |
|
10-Nov-2014 |
wenzelm <none@none> |
proper context for assume_tac (atac remains as fall-back without context);
|
| #
794edf80 |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header uniformly as section;
|
| #
e2ce0034 |
|
28-Feb-2013 |
wenzelm <none@none> |
tuned proof;
|
| #
d1c16d1c |
|
14-Feb-2012 |
wenzelm <none@none> |
eliminated obsolete aliases;
|
| #
216c8115 |
|
16-Jan-2011 |
wenzelm <none@none> |
tuned headers;
|
| #
27ff3609 |
|
06-Sep-2010 |
wenzelm <none@none> |
more antiquotations;
|
| #
84312563 |
|
25-Jun-2008 |
wenzelm <none@none> |
modernized specifications;
|
| #
537d07ee |
|
07-Aug-2007 |
wenzelm <none@none> |
turned Unify flags into configuration options (global only);
|
| #
7b63d2a6 |
|
11-Jul-2007 |
berghofe <none@none> |
Adapted to new inductive definition package.
|
| #
148dff9b |
|
06-Jun-2006 |
wenzelm <none@none> |
removed obsolete ML files;
|
| #
c790252e |
|
17-Sep-2005 |
wenzelm <none@none> |
converted to Isar theory format;
|
| #
2aabe693 |
|
31-Jan-2000 |
oheimb <none@none> |
added IMPP to HOL
|