Nominal/Test.thy
Mon, 08 Mar 2010 16:11:42 +0100 Christian Urban added compat definitions to some examples
Mon, 08 Mar 2010 15:06:14 +0100 Christian Urban deleted comments about "weird"
less more (0) -30 -10 -2 tip