src/Pure/Tools/codegen_func.ML
Tue, 19 Jun 2007 23:15:27 +0200 wenzelm balanced conjunctions;
Tue, 05 Jun 2007 15:16:10 +0200 haftmann fixed broken execption handling
Thu, 24 May 2007 08:37:41 +0200 haftmann tuned warning
Sat, 19 May 2007 19:35:17 +0200 haftmann more robust thm handling
Sat, 19 May 2007 11:33:32 +0200 haftmann improved eta expansion
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
less more (0) -10 -7 tip