Nominal/Ex/Test.thy
changeset 2347 9807d30c0e54
parent 2288 3b83960f9544