src/HOL/ex/Case_Product.thy
Wed, 23 Feb 2011 11:23:26 +0100 noschinl add example for case_product usage
less more (0) tip