Nominal/Ex1rec.thy
changeset 1656 c9d3dda79fe3
parent 1596 c69d9fb16785
child 1706 e92dd76dfb03