src/Pure/Tools/codegen_data.ML
Fri, 10 Nov 2006 07:37:36 +0100 haftmann redundancy checkes includes eta-expansion
Fri, 03 Nov 2006 14:22:44 +0100 haftmann tightened notion of function equations
Tue, 31 Oct 2006 14:58:23 +0100 haftmann introduced CodegenData.add_func_legacy
Tue, 31 Oct 2006 09:29:12 +0100 haftmann simplified preprocessor framework
Fri, 20 Oct 2006 10:44:53 +0200 haftmann code nofunc now permits theorems violating typing discipline
Tue, 10 Oct 2006 09:17:23 +0200 haftmann generalized purge
Mon, 09 Oct 2006 02:19:49 +0200 wenzelm attribute: Context.mapping;
Wed, 04 Oct 2006 14:17:46 +0200 haftmann clarified header comments
Mon, 02 Oct 2006 23:01:05 +0200 haftmann changed preprocessing framework
Mon, 25 Sep 2006 17:04:21 +0200 haftmann cleaned up
Wed, 20 Sep 2006 12:23:54 +0200 haftmann fixed bug
Tue, 19 Sep 2006 15:44:04 +0200 haftmann removed diagnostic messages
Tue, 19 Sep 2006 15:22:26 +0200 haftmann added codegen_data
less more (0) tip