| 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 |