[Isarmathlib-devel] IsarMathLib version 1.6.6 released

[Slawomir Kolodynski]

I released version 1.6.6. The new stuff is mostly in Semigroup_ZF.thy and is 
about multiplying (folding) finite (linearly ordered) subsets of commutative 
semigroups.

I experimented with writing more self-contained proofs in this version. The 
longest one (other than those translated from Metamat) is 129 lines long and up 
to 9 levels deep. This still presents quite nicely on the Tiddly Formal Math 
site, see http://formalmath.tiddlyspot.com/#Semigroup_ZF , lemma 
prod_bisec. 

Slawekk