src/Pure/Tools/codegen_func.ML
Thu, 17 May 2007 19:49:21 +0200 haftmann dropped beta/eta normalization of defining equations
Thu, 10 May 2007 10:21:44 +0200 haftmann tuned
Thu, 10 May 2007 00:39:45 +0200 wenzelm moved conversions to structure Conv;
Thu, 26 Apr 2007 13:33:12 +0200 haftmann tuned
Fri, 20 Apr 2007 11:21:35 +0200 haftmann tuned
Sun, 15 Apr 2007 14:32:05 +0200 wenzelm Thm.plain_prop_of;
Fri, 30 Mar 2007 16:19:03 +0200 haftmann simplified constant representation in code generator
Tue, 20 Mar 2007 15:52:41 +0100 haftmann improved treatment of defining equations stemming from specification tools
Tue, 20 Mar 2007 08:27:20 +0100 haftmann adjusted definition of defining equation
Fri, 16 Mar 2007 21:32:20 +0100 haftmann clarified check of defining equations
Tue, 30 Jan 2007 08:21:19 +0100 haftmann additional auxiliary here
Fri, 26 Jan 2007 13:59:04 +0100 haftmann clarified code
Thu, 25 Jan 2007 09:32:51 +0100 haftmann tuned
Tue, 09 Jan 2007 19:09:00 +0100 haftmann cleanup
Tue, 09 Jan 2007 08:31:48 +0100 haftmann moved a lot to codegen_func.ML
Fri, 05 Jan 2007 14:32:07 +0100 haftmann added codegen_func.ML
less more (0) tip