Tests/Rec_Def.thy
2013-03-05 Christian Urban added a version with partial_function
2013-03-03 Christian Urban partial_function test
less more (0) tip