Nominal/Nominal2_Base.thy
changeset 2691 abb6c3ac2df2
parent 2685 1df873b63cb2
child 2708 5964c84ece5d