src/HOL/Library/Finite_Cartesian_Product.thy
2009-02-09 chaieb 2009-02-09 A generic decision procedure for linear rea arithmetic and normed vector spaces
2009-02-09 chaieb 2009-02-09 A formalization of finite cartesian product types