Nominal/Abs_res.thy
changeset 1526 770a66131bd3
parent 1436 04dad9b0136d