| #
ef344a77 |
|
25-May-2016 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
| #
8faaa443 |
|
23-May-2016 |
wenzelm <none@none> |
embedded content may be delimited via cartouches;
|
| #
794edf80 |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header uniformly as section;
|
| #
28742b1e |
|
22-Jan-2014 |
wenzelm <none@none> |
tuned signature;
|
| #
0928b2db |
|
18-Apr-2013 |
wenzelm <none@none> |
simplifier uses proper Proof.context instead of historic type simpset;
|
| #
e3227796 |
|
22-Aug-2012 |
wenzelm <none@none> |
prefer ML_file over old uses;
|
| #
14ffc3e9 |
|
13-May-2011 |
wenzelm <none@none> |
clarified map_simpset versus Simplifier.map_simpset_global;
|
| #
5d2a8866 |
|
12-May-2011 |
wenzelm <none@none> |
prefer Proof.context over old-style clasimpset;
|
| #
3bc8e14e |
|
21-Sep-2009 |
haftmann <none@none> |
tuned proof; tuned headers
|
| #
a4b600c4 |
|
23-Jul-2009 |
wenzelm <none@none> |
renamed simpset_of to global_simpset_of, and local_simpset_of to simpset_of -- same for claset and clasimpset;
|
| #
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;
|
| #
0f5001b2 |
|
15-Aug-2008 |
wenzelm <none@none> |
Args.name_source(_position) for proper position information;
|
| #
99b04075 |
|
03-Aug-2007 |
wenzelm <none@none> |
misc cleanup of ML bindings (for multihreading);
|
| #
f7800759 |
|
29-Nov-2006 |
wenzelm <none@none> |
simplified method setup;
|
| #
a7060872 |
|
17-Jun-2005 |
haftmann <none@none> |
migrated theory headers to new format
|
| #
737fdea6 |
|
02-Jun-2005 |
paulson <none@none> |
renamed "constrains" to "safety" to avoid keyword clash
|
| #
0d9b3ba0 |
|
11-Jul-2004 |
wenzelm <none@none> |
local_cla/simpset_of;
|
| #
e1ced77a |
|
10-Mar-2003 |
paulson <none@none> |
New theory ProgressSets. Definition of closure sets
|
| #
048181da |
|
06-Mar-2003 |
paulson <none@none> |
new UNITY examples theory
|
| #
1674bc09 |
|
31-Jan-2003 |
paulson <none@none> |
conversion to new-style theories and tidying
|
| #
71fec134 |
|
24-Jan-2003 |
paulson <none@none> |
More conversion of UNITY to Isar new-style theories
|