Nominal/Nominal2_Base.thy
changeset 3220 87dbeba4b25a
parent 3219 e5d9b6bca88c
child 3221 ea327a4c4f43