src/HOL/Groups_Big.thy
2014-03-16 haftmann 2014-03-16 normalising simp rules for compound operators
2014-01-21 traytel 2014-01-21 removed theory dependency of BNF_LFP on Datatype
2013-12-15 haftmann 2013-12-15 disambiguation of interpretation prefixes
2013-12-15 haftmann 2013-12-15 more algebraic terminology for theories about big operators