| #
66281660 |
|
26-May-2016 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
| #
35f7dccd |
|
23-Feb-2016 |
nipkow <none@none> |
more canonical names
|
| #
794edf80 |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header uniformly as section;
|
| #
5fc26177 |
|
11-Sep-2014 |
blanchet <none@none> |
updated news
|
| #
d2ddb3a1 |
|
09-Sep-2014 |
blanchet <none@none> |
use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
|
| #
5eb088c9 |
|
10-Feb-2014 |
wenzelm <none@none> |
removed rotten code;
|
| #
7237bdd9 |
|
02-Sep-2013 |
wenzelm <none@none> |
tuned proofs -- clarified flow of facts wrt. calculation;
|
| #
06329277 |
|
13-Aug-2013 |
wenzelm <none@none> |
standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
|
| #
e3227796 |
|
22-Aug-2012 |
wenzelm <none@none> |
prefer ML_file over old uses;
|
| #
a7509197 |
|
06-Nov-2011 |
wenzelm <none@none> |
tuned document;
tuned proofs;
|
| #
197b731c |
|
06-Nov-2011 |
wenzelm <none@none> |
misc tuning and modernization;
|
| #
ad9e459c |
|
11-Sep-2011 |
nipkow <none@none> |
new fastforce replacing fastsimp - less confusing name
|
| #
a4d04f8b |
|
08-Apr-2011 |
wenzelm <none@none> |
discontinued special treatment of structure Mixfix;
eliminated slightly odd no_syn convenience;
|
| #
308c65f5 |
|
20-Sep-2010 |
wenzelm <none@none> |
renamed structure PureThy to Pure_Thy and moved most content to Global_Theory, to emphasize that this is global-only;
--HG--
rename : src/Pure/pure_thy.ML => src/Pure/global_theory.ML
|
| #
ed1e126b |
|
27-Aug-2010 |
wenzelm <none@none> |
modernized specifications;
|
| #
e3d0611a |
|
27-Feb-2010 |
wenzelm <none@none> |
modernized structure Term_Ord;
|
| #
079cde2d |
|
17-Oct-2009 |
wenzelm <none@none> |
eliminated hard tabulators, guessing at each author's individual tab-width;
tuned headers;
|
| #
1e5beb93 |
|
29-Sep-2009 |
wenzelm <none@none> |
explicit indication of Unsynchronized.ref;
|
| #
a5a5665f |
|
15-Jul-2009 |
wenzelm <none@none> |
more antiquotations;
|
| #
46b66c09 |
|
01-Jan-2009 |
wenzelm <none@none> |
avoid implicit use of prems;
|
| #
e154e805 |
|
31-Dec-2008 |
wenzelm <none@none> |
moved term order operations to structure TermOrd (cf. Pure/term_ord.ML);
tuned signature of structure Term;
|
| #
1e6b3069 |
|
17-Nov-2008 |
haftmann <none@none> |
whitespace tuning
|
| #
4da32258 |
|
29-Jul-2008 |
haftmann <none@none> |
PureThy: dropped note_thmss_qualified, dropped _i suffix
|
| #
67e4fac7 |
|
09-Nov-2007 |
wenzelm <none@none> |
tuned proofs -- avoid implicit prems;
|
| #
e23e99ee |
|
24-Oct-2007 |
wenzelm <none@none> |
be explicit about .ML files;
|
| #
d93a6fb8 |
|
24-Oct-2007 |
schirmer <none@none> |
added Statespace library
|