Nominal/Ex/SystemFOmega.thy
changeset 2895 65efa1c7563c
parent 2622 e6e6a3da81aa
child 2950 0911cb7bf696
equal deleted inserted replaced
2894:8ec94871de1e 2895:65efa1c7563c