Nominal/Ex/SystemFOmega.thy
changeset 3212 0f76f481dbb5
parent 2950 0911cb7bf696