src/HOL/Matrix_LP/ComputeNumeral.thy
2014-03-06 blanchet 2014-03-06 renamed 'map_pair' to 'map_prod'
2012-03-25 huffman 2012-03-25 merged fork with new numeral representation (see NEWS)
2012-03-17 wenzelm 2012-03-17 renamed HOL-Matrix to HOL-Matrix_LP to avoid name clash with AFP;