Nominal/LFex.thy
changeset 1270 8c3cf9f4f5f2
parent 1264 1dedc0b76f32
child 1277 6eacf60ce41d