#
65f3e853 |
|
01-Jan-2016 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
#
1c36b178 |
|
10-Oct-2015 |
wenzelm <none@none> |
tuned whitespace;
|
#
0f3674bf |
|
10-Oct-2015 |
wenzelm <none@none> |
tuned;
|
#
4feafc8e |
|
10-Oct-2015 |
wenzelm <none@none> |
tuned syntax -- more symbols;
|
#
56730d74 |
|
06-Oct-2015 |
wenzelm <none@none> |
fewer aliases for toplevel theorem statements;
|
#
a9c547a6 |
|
10-Feb-2015 |
wenzelm <none@none> |
misc tuning;
|
#
b8d56fe6 |
|
10-Feb-2015 |
wenzelm <none@none> |
proper context for resolve_tac, eresolve_tac, dresolve_tac, forward_tac etc.; occasionally clarified use of context;
|
#
794edf80 |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header uniformly as section;
|
#
3178c101 |
|
07-Oct-2014 |
wenzelm <none@none> |
more cartouches;
|
#
3d1aa88f |
|
22-Oct-2011 |
wenzelm <none@none> |
discontinued redundant ASCII syntax;
|
#
10eb7fb0 |
|
15-May-2011 |
wenzelm <none@none> |
simplified/unified method_setup/attribute_setup;
|
#
52bca335 |
|
23-Apr-2010 |
wenzelm <none@none> |
mark schematic statements explicitly;
|
#
458a4961 |
|
13-Mar-2010 |
wenzelm <none@none> |
removed old CVS Ids; tuned headers;
|
#
b1258973 |
|
16-Mar-2009 |
wenzelm <none@none> |
simplified method setup;
|
#
77d6b267 |
|
13-Mar-2009 |
wenzelm <none@none> |
unified type Proof.method and pervasive METHOD combinators;
|
#
bda40916 |
|
22-Jun-2006 |
ballarin <none@none> |
Removed debugging code.
|
#
0c7ce443 |
|
20-Jun-2006 |
ballarin <none@none> |
Restructured locales with predicates: import is now an interpretation. New method intro_locales.
|
#
75419f65 |
|
16-Sep-2005 |
wenzelm <none@none> |
plain test session, includes example;
|