src/HOL/Library/Product_plus.thy
2010-07-01 haftmann 2010-07-01 "prod" and "sum" replace "*" and "+" respectively
2010-07-01 hoelzl 2010-07-01 Instantiate product type as euclidean space.
2010-05-01 huffman 2010-05-01 move setsum lemmas to Product_plus.thy
2009-02-20 huffman 2009-02-20 add new theory Product_plus.thy to Library