thys/rec_def.thy
2013-01-23 Christian Urban updated
less more (0) tip