Nominal/Ex/SystemFOmega.thy
changeset 2681 0e4c5fa26fa1
parent 2622 e6e6a3da81aa
child 2950 0911cb7bf696