Tests/Rec_Def.thy
Wed, 06 Mar 2013 07:08:51 +0000 Christian Urban added an function definition for eval.
less more (0) -1 tip