Thu, 20 Nov 2008 00:03:55 +0100 |
wenzelm |
removed traces of former 'includes' element;
|
file |
diff |
annotate
|
Mon, 17 Nov 2008 17:00:22 +0100 |
haftmann |
adjusted locale signature to *_cmd convention
|
file |
diff |
annotate
|
Fri, 14 Nov 2008 08:50:09 +0100 |
haftmann |
Name.is_nothing
|
file |
diff |
annotate
|
Thu, 30 Oct 2008 10:57:45 +0100 |
ballarin |
Dropped context element 'includes'.
|
file |
diff |
annotate
|
Tue, 28 Oct 2008 16:58:59 +0100 |
haftmann |
cleanup code default attribute
|
file |
diff |
annotate
|
Fri, 26 Sep 2008 09:10:02 +0200 |
haftmann |
removed obsolete name convention "func"
|
file |
diff |
annotate
|
Wed, 03 Sep 2008 17:47:38 +0200 |
wenzelm |
axiomatization is now global-only;
|
file |
diff |
annotate
|
Tue, 02 Sep 2008 22:20:20 +0200 |
wenzelm |
ProofDisplay.print_results;
|
file |
diff |
annotate
|
Tue, 02 Sep 2008 16:55:33 +0200 |
wenzelm |
type Attrib.binding abbreviates Name.binding without attributes;
|
file |
diff |
annotate
|
Tue, 02 Sep 2008 14:10:30 +0200 |
wenzelm |
explicit type Name.binding for higher-specification elements;
|
file |
diff |
annotate
|
Wed, 13 Aug 2008 20:57:33 +0200 |
wenzelm |
ProofDisplay.theory_results;
|
file |
diff |
annotate
|
Wed, 09 Apr 2008 21:49:37 +0200 |
wenzelm |
print_consts only for external specifications;
|
file |
diff |
annotate
|
Thu, 20 Mar 2008 00:20:49 +0100 |
wenzelm |
renamed former get_thms(_silent) to get_fact(_silent);
|
file |
diff |
annotate
|
Wed, 19 Mar 2008 22:27:57 +0100 |
wenzelm |
renamed datatype thmref to Facts.ref, tuned interfaces;
|
file |
diff |
annotate
|
Sat, 10 Nov 2007 14:31:21 +0100 |
wenzelm |
notation: improved ProofContext.read_const does the job;
|
file |
diff |
annotate
|