{"shas":[["b04dea85bf9885a44be868581c70b5e69b524b71","20c18662fd5bee6329028b19ab9b1a470197b6e1@googlemail.com","rename mods and specs from array to list","florianpilz"],["5dc55969664b952278b4390d06ac5e3fbd7f8c78","20c18662fd5bee6329028b19ab9b1a470197b6e1@googlemail.com","finish renaming by editing files","florianpilz"],["9ca98d1b5a56a897e3076de4b529fc49fdd9fa21","20c18662fd5bee6329028b19ab9b1a470197b6e1@googlemail.com","re-proof sum","florianpilz"],["c0b8c89cdcf65172ce5ff0a374e2d28e45a0ce83","20c18662fd5bee6329028b19ab9b1a470197b6e1@googlemail.com","proove insertion-sort-rek and re-proof list-sum","florianpilz"],["78368032f4f6d1ecd0a020942dba2448716129df","20c18662fd5bee6329028b19ab9b1a470197b6e1@googlemail.com","rewrite list-max specification using forall","florianpilz"],["6563426f875b7b2fb3ef86a9f78ec79bd4390075","20c18662fd5bee6329028b19ab9b1a470197b6e1@googlemail.com","commit changes done by KIV","florianpilz"]],"ref":"refs/heads/master","size":6,"head":"6563426f875b7b2fb3ef86a9f78ec79bd4390075","push_id":38028183}