src/HOL/ex/Eval_Examples.thy
Fri, 09 May 2014 08:13:37 +0200 haftmann hardcoded nbe and sml into value command
Wed, 19 Oct 2011 08:37:15 +0200 bulwahn removing invocations of the evaluation method based on the old code generator
Wed, 03 Aug 2011 14:24:23 +0200 bulwahn removing value invocations with the SML code generator
Sat, 27 Nov 2010 19:41:27 +0100 haftmann tuned
Fri, 26 Nov 2010 23:49:49 +0100 haftmann tuned example
Tue, 14 Jul 2009 16:27:30 +0200 haftmann more canonical import
Fri, 20 Feb 2009 18:29:09 +0100 haftmann stripped Id
less more (0) -10 -7 tip