IntEx.thy
2009-10-24 Christian Urban added another example file about integers (see HOL/Int.thy)
less more (0) tip