| Thu, 10 Apr 2008 14:53:26 +0200 | wenzelm | export subst_alias; | file | diff | annotate |
| Wed, 02 Apr 2008 15:58:42 +0200 | haftmann | subst_alias | file | diff | annotate |
| Thu, 20 Mar 2008 12:01:17 +0100 | haftmann | rearranged | file | diff | annotate |
| Wed, 19 Mar 2008 07:20:34 +0100 | haftmann | moved typ_of_inst to Type.typ_of_sort | file | diff | annotate |
| Fri, 07 Mar 2008 13:53:08 +0100 | haftmann | some steps towards a refined treatment of equality | file | diff | annotate |
| Fri, 22 Feb 2008 12:01:55 +0100 | haftmann | added further interface for reading constants | file | diff | annotate |
| Mon, 10 Dec 2007 11:24:15 +0100 | haftmann | moved instance parameter management from class.ML to axclass.ML | file | diff | annotate |
| Wed, 05 Dec 2007 14:16:12 +0100 | haftmann | added constrain_thm | file | diff | annotate |
| Wed, 28 Nov 2007 09:01:42 +0100 | haftmann | tuned interfaces of class module | file | diff | annotate |
| Thu, 08 Nov 2007 13:21:14 +0100 | haftmann | tuned | file | diff | annotate |
| Mon, 08 Oct 2007 22:03:30 +0200 | haftmann | tuned | file | diff | annotate |
| Thu, 04 Oct 2007 20:29:24 +0200 | wenzelm | replaced literal 'a by Name.aT; | file | diff | annotate |
| Thu, 04 Oct 2007 19:54:44 +0200 | haftmann | certificates for code generator case expressions | file | diff | annotate |
| Tue, 25 Sep 2007 13:28:37 +0200 | wenzelm | Syntax.parse/check/read; | file | diff | annotate |
| Tue, 18 Sep 2007 07:36:15 +0200 | haftmann | distinction between regular and default code theorems | file | diff | annotate |
| Fri, 24 Aug 2007 14:14:20 +0200 | haftmann | overloaded definitions accompanied by explicit constants | file | diff | annotate |
| Fri, 10 Aug 2007 17:04:34 +0200 | haftmann | new structure for code generator modules | file | diff | annotate |