src/HOL/Library/Finite_Cartesian_Product.thy
2009-03-23 haftmann 2009-03-23 tuned header
2009-03-19 huffman 2009-03-19 imported patch euclidean
2009-03-12 huffman 2009-03-12 remove trailing spaces
2009-03-05 haftmann 2009-03-05 merged
2009-03-05 haftmann 2009-03-05 set operations Int, Un, INTER, UNION, Inter, Union, empty, UNIV are now proper qualified constants with authentic syntax
2009-03-04 wenzelm 2009-03-04 removed old/broken CVS Ids;
2009-02-13 huffman 2009-02-13 section -> subsection
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