Nominal/Test.thy
Mon, 08 Mar 2010 20:18:27 +0100 Christian Urban added a test-file for compatibility
Mon, 08 Mar 2010 16:11:42 +0100 Christian Urban added compat definitions to some examples
less more (0) -30 -10 -2 tip