Nominal/Ex/SystemFOmega.thy
2011-07-05 Christian Urban changed bind to binds in specifications; bind will cause trouble with Monad_Syntax
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