src/HOL/Code_Evaluation.thy
Wed, 23 Sep 2009 14:00:12 +0200 haftmann Code_Eval(uation)
less more (0) tip