Nominal/Test_compat.thy
Tue, 09 Mar 2010 09:38:49 +0100 Cezary Kaliszyk fv_compat
Tue, 09 Mar 2010 08:46:55 +0100 Christian Urban added another compat example
Mon, 08 Mar 2010 20:18:27 +0100 Christian Urban added a test-file for compatibility
less more (0) tip