payload: {"push_id":4453429439,"size":14,"distinct_size":14,"ref":"refs/heads/develop","head":"566387e308ba7f564d834b98d90e1cd68930bc73","before":"fec2f3f0701ff114d7d5cf6ed51bf3b56fc27ec9","commits":[{"sha":"a2fc48674c3546029d78e89168ad509243219a4c","author":{"name":"Richard Penner","email":"098d72fd88ccb0e745571a86576bc6ed318c925e@gmail.com"},"message":"Minimize 10 sandbox theorems.\nSave 461 bytes.","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/a2fc48674c3546029d78e89168ad509243219a4c"},{"sha":"e6b2b2ab857b817984e47ccc4f45d14249321b54","author":{"name":"Jim Kingdon","email":"ea7c64223afd52ff1edfca2477cc3b520bc33610@panix.com"},"message":"Don't use ee8anv in mulnq0mo in iset.mm\n\nTurns out there is no need for all eight quantifiers to be together\nand we can add them where we want them. Reduces show proof/size\nfrom 1431 to 1409.","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/e6b2b2ab857b817984e47ccc4f45d14249321b54"},{"sha":"7c15f2640b437f745273e76abbf6a6a452249c27","author":{"name":"Jim Kingdon","email":"ea7c64223afd52ff1edfca2477cc3b520bc33610@panix.com"},"message":"Add eceq1d to set.mm\n\nMany uses of eceq1 are followed by syl , and adding eceq1d should\nalso make mmj2 more able to auto-generate substitutions.","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/7c15f2640b437f745273e76abbf6a6a452249c27"},{"sha":"e27ce18de728e68b290950471fae33947d995a89","author":{"name":"Jim Kingdon","email":"ea7c64223afd52ff1edfca2477cc3b520bc33610@panix.com"},"message":"Minimize set.mm theorems with eceq1d","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/e27ce18de728e68b290950471fae33947d995a89"},{"sha":"cd379426147912469104b57cbbd2d2f5e8ffdf2d","author":{"name":"Jim Kingdon","email":"ea7c64223afd52ff1edfca2477cc3b520bc33610@panix.com"},"message":"Add eceq1d to iset.mm\n\n- Copy eceq1d from set.mm\n- Minimize theorems which showed up in \"show usage eceq1\"","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/cd379426147912469104b57cbbd2d2f5e8ffdf2d"},{"sha":"c7140a2b45ddefe2f1faf629bb23d2ee92383dbe","author":{"name":"Richard Penner","email":"098d72fd88ccb0e745571a86576bc6ed318c925e@gmail.com"},"message":"finite intersection property of intersection","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/c7140a2b45ddefe2f1faf629bb23d2ee92383dbe"},{"sha":"500ed99c4cebec3b5326791d0539f11b62f39957","author":{"name":"Benoit","email":"a12d844e02d8a2742afdf9b4b9fd5145861ca5e5@gmail.com"},"message":"iset/mathbox misc","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/500ed99c4cebec3b5326791d0539f11b62f39957"},{"sha":"60af5abc6f5dfd2c6ae61e9d5dbf7542d4dde7ad","author":{"name":"Benoit","email":"a12d844e02d8a2742afdf9b4b9fd5145861ca5e5@gmail.com"},"message":"Merge branch 'develop' into misc2","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/60af5abc6f5dfd2c6ae61e9d5dbf7542d4dde7ad"},{"sha":"f89bc63c6824ba064950ca698ee903bb66a7b0bf","author":{"name":"Benoit","email":"a12d844e02d8a2742afdf9b4b9fd5145861ca5e5@gmail.com"},"message":"iset/mathbox: principle of induction cleanup","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/f89bc63c6824ba064950ca698ee903bb66a7b0bf"},{"sha":"19474cdbfc1bc216e91f82e035b71f3fa7fe56a5","author":{"name":"nmegill","email":"50c3c575ce2bb12c45e20736ce59e86fe81915b4@alum.mit.edu"},"message":"Merge pull request #1369 from arpie-steele/rpenner-init-sandbox\n\nOne New, Ten Minimized sandbox theorems","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/19474cdbfc1bc216e91f82e035b71f3fa7fe56a5"},{"sha":"e8288aaac7fa0a3a237013aac8b8ab9f338aee54","author":{"name":"nmegill","email":"50c3c575ce2bb12c45e20736ce59e86fe81915b4@alum.mit.edu"},"message":"Merge pull request #1367 from jkingdon/ee8anv\n\nAdd eceq1d to set.mm and iset.mm","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/e8288aaac7fa0a3a237013aac8b8ab9f338aee54"},{"sha":"6b9edd96836a13ba22d3aad02ab6a94902ed7776","author":{"name":"nmegill","email":"50c3c575ce2bb12c45e20736ce59e86fe81915b4@alum.mit.edu"},"message":"Merge pull request #1370 from wlammen/develop\n\nshorten r19.21bi","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/6b9edd96836a13ba22d3aad02ab6a94902ed7776"},{"sha":"84ba39a1f62d019c3e193c60d0f0af94217f4abb","author":{"name":"nmegill","email":"50c3c575ce2bb12c45e20736ce59e86fe81915b4@alum.mit.edu"},"message":"Merge pull request #1371 from benjub/misc2\n\nMisc2","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/84ba39a1f62d019c3e193c60d0f0af94217f4abb"},{"sha":"566387e308ba7f564d834b98d90e1cd68930bc73","author":{"name":"Wolf Lammen","email":"61e2f2dc583987f443eff0763a6be0e50fec87fb@gmx.de"},"message":"shorten r19.21t","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/566387e308ba7f564d834b98d90e1cd68930bc73"}]}
other: {"actor":{"display_login":"wlammen"}}