Nominal/Ex/Test.thy
changeset 2395 79e493880801
parent 2288 3b83960f9544