thys/Recursive.thy
Fri, 15 Feb 2013 07:42:47 +0000 Christian Urban polished naming convention
Wed, 13 Feb 2013 20:08:14 +0000 Christian Urban tuned
Mon, 11 Feb 2013 08:31:48 +0000 Christian Urban removed some dead code
less more (0) tip