Wed, 19 Jul 2006 12:12:05 +0200 |
wenzelm |
reorganize declarations (more efficient);
|
file |
diff |
annotate
|
Tue, 18 Jul 2006 20:01:45 +0200 |
wenzelm |
added newly_fixed, focus;
|
file |
diff |
annotate
|
Thu, 13 Jul 2006 13:42:02 +0200 |
wenzelm |
Name.context already declares empty names;
|
file |
diff |
annotate
|
Tue, 11 Jul 2006 23:00:39 +0200 |
wenzelm |
separate names filed (covers fixes/defaults);
|
file |
diff |
annotate
|
Tue, 11 Jul 2006 12:17:09 +0200 |
wenzelm |
maintain Name.context for fixes/defaults;
|
file |
diff |
annotate
|
Tue, 04 Jul 2006 19:49:54 +0200 |
wenzelm |
polymorphic: always generalize wrt. used_types;
|
file |
diff |
annotate
|
Mon, 19 Jun 2006 20:21:32 +0200 |
wenzelm |
added declare_thm, thm_context;
|
file |
diff |
annotate
|
Sat, 17 Jun 2006 19:37:52 +0200 |
wenzelm |
major reworking of export functionality -- based on Term/Thm.generalize;
|
file |
diff |
annotate
|
Thu, 15 Jun 2006 23:08:58 +0200 |
wenzelm |
Fixed type/term variables and polymorphic term abbreviations.
|
file |
diff |
annotate
|