src/HOL/Algebra/FiniteProduct.thy
2004-04-16 wenzelm 2004-04-16 simplified ML code for setsubgoaler;
2003-09-30 ballarin 2003-09-30 Changed order of prems in finprod_cong. Slight speedup.
2003-04-30 ballarin 2003-04-30 Greatly extended CRing. Added Module.