Mon, 17 Feb 2014 22:39:20 +0100 |
wenzelm |
subtle change of semantics of Thm.eq_thm, e.g. relevant for merge of src/HOL/Tools/Predicate_Compile/core_data.ML (cf. HOL-IMP);
|
file |
diff |
annotate
|
Tue, 20 Aug 2013 11:35:06 +0100 |
paulson |
Inserted footnote under match_tac
|
file |
diff |
annotate
|
Tue, 13 Aug 2013 16:25:47 +0200 |
wenzelm |
standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
|
file |
diff |
annotate
|
Wed, 31 Jul 2013 23:41:32 +0200 |
wenzelm |
recovered "\<phi>\<^isub>i" from 0b02aaf7c7c5;
|
file |
diff |
annotate
|
Thu, 27 Jun 2013 17:06:22 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Thu, 27 Jun 2013 11:33:42 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Thu, 27 Jun 2013 10:35:37 +0200 |
wenzelm |
updated documentation;
|
file |
diff |
annotate
|
Wed, 26 Jun 2013 11:54:45 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Wed, 07 Nov 2012 16:45:33 +0100 |
wenzelm |
some coverage of "resolution without lifting", which should be normally avoided;
|
file |
diff |
annotate
|
Wed, 07 Nov 2012 16:02:43 +0100 |
wenzelm |
updated biresolve_tac, bimatch_tac;
|
file |
diff |
annotate
|
Tue, 28 Aug 2012 18:57:32 +0200 |
wenzelm |
renamed doc-src to src/Doc;
|
file |
diff |
annotate
| base
|