Tests/Rec_Def.thy
2013-03-07 Christian Urban added definition of termination for rec_exec
2013-03-06 Christian Urban added an function definition for eval.
2013-03-05 Christian Urban added a version with partial_function
2013-03-03 Christian Urban partial_function test
less more (0) tip