src/HOL/Algebra/More_Finite_Product.thy
15 months ago nipkow 2018-01-05 Renamed (^) to [^] in preparation of the move from "op X" to (X)
18 months ago wenzelm 2017-10-02 misc tuning and modernization;
2017-04-06 haftmann 2017-04-06 more approproiate placement of theories MiscAlgebra and Multiplicate_Group