IntEx.thy
2009-12-04 Christian Urban not yet quite functional treatment of constants
less more (0) -30 -10 -1 tip