src/HOL/Code_Eval.thy
Tue, 16 Sep 2008 09:21:24 +0200 haftmann evaluation using code generator
less more (0) tip