src/Pure/Isar/code.ML
Thu, 29 Nov 2007 07:55:46 +0100 haftmann dropped dead code
Wed, 28 Nov 2007 09:01:42 +0100 haftmann tuned interfaces of class module
Fri, 23 Nov 2007 21:09:35 +0100 haftmann rudimentary instantiation target
Tue, 06 Nov 2007 13:12:55 +0100 haftmann clarified merge
Thu, 11 Oct 2007 16:05:47 +0200 wenzelm removed obsolete AxClass.params_of_class;
Tue, 09 Oct 2007 17:10:38 +0200 wenzelm renamed AxClass.get_definition to AxClass.get_info (again);
Thu, 04 Oct 2007 20:29:24 +0200 wenzelm replaced literal 'a by Name.aT;
Thu, 04 Oct 2007 19:54:44 +0200 haftmann certificates for code generator case expressions
Thu, 04 Oct 2007 19:41:51 +0200 haftmann clarified terminology
Wed, 26 Sep 2007 20:50:33 +0200 wenzelm Sign.minimize/complete_sort;
Thu, 20 Sep 2007 16:37:31 +0200 haftmann more permissive
Tue, 18 Sep 2007 07:36:15 +0200 haftmann distinction between regular and default code theorems
Sat, 15 Sep 2007 19:27:40 +0200 haftmann tuned
Fri, 24 Aug 2007 14:14:20 +0200 haftmann overloaded definitions accompanied by explicit constants
Wed, 15 Aug 2007 08:57:42 +0200 haftmann tuned
Fri, 10 Aug 2007 17:04:34 +0200 haftmann new structure for code generator modules
less more (0) tip