src/HOL/IMP/Abs_Int1_parity.thy
Thu, 19 Apr 2012 20:19:13 +0200 nipkow added revised version of Abs_Int
less more (0) tip