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 |