Nominal/Ex/SystemFOmega.thy
2010-12-22 Christian Urban tuned examples
2010-12-22 Christian Urban properly exported strong exhaust theorem; cleaned up some examples
2010-11-24 Christian Urban added example from the F-ing paper by Rossberg, Russo and Dreyer
less more (0) tip