Attic/rec_def.thy
2013-02-06 Christian Urban moved old files into attic
less more (0) tip