IntEx.thy
2009-10-28 Christian Urban updated all definitions
less more (0) -10 -1 tip