Nominal/Fv.thy
changeset 1772 48c2eb84d5ce
parent 1744 00680cea0dde
child 1774 c34347ec7ab3