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