Nominal/Nominal2.thy
changeset 3098 3d9562921451
parent 3091 578e0265b235
child 3134 301b74fcd614