Nominal/Ex/SystemFOmega.thy
changeset 2619 25fb0dbe9f13
parent 2617 e44551d067e6
child 2622 e6e6a3da81aa