{"push_id":2182933881,"size":28,"distinct_size":28,"ref":"refs/heads/develop","head":"2b58a29099c4c1db416380085c216f7810860664","before":"768abedf9a5d5cee7dbc8229d47ed0bcbbba572d","commits":[{"sha":"c8e01de093d992705c6a757b48247e8448193a21","author":{"name":"Jim Kingdon","email":"ac5e3eca419f6bf67b131d5457234a8e2452d77b@panix.com"},"message":"Revise equidqe comment for intuitionistic logic.\n\n-. A. x -. ph is not equivalent to E. ph so don't talk as if it is.","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/c8e01de093d992705c6a757b48247e8448193a21"},{"sha":"628cde20dc352afbf2e21721413b42e1244cd541","author":{"name":"Jim Kingdon","email":"ac5e3eca419f6bf67b131d5457234a8e2452d77b@panix.com"},"message":"Remove equidq.\n\nThe proof is not an intuitionistic one, the theorem is not used\nanywhere, and it isn't really clear it is especially needed for\ninvestigating the intuitionistic axioms.","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/628cde20dc352afbf2e21721413b42e1244cd541"},{"sha":"c0ba0059966ff90c95d2c2804907811059fde602","author":{"name":"Jim Kingdon","email":"ac5e3eca419f6bf67b131d5457234a8e2452d77b@panix.com"},"message":"Remove equidALT.\n\nWe have an intuitionistic proof of equid, so we don't need a classical\none too.","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/c0ba0059966ff90c95d2c2804907811059fde602"},{"sha":"0436004a1baa2a35a443e50fb71bc5120c6d9c22","author":{"name":"Jim Kingdon","email":"ac5e3eca419f6bf67b131d5457234a8e2452d77b@panix.com"},"message":"Remove 19.43OLD.\n\nIt depends on ax-3 and there is no need, since we have an\nintuitionistic proof under 19.43.","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/0436004a1baa2a35a443e50fb71bc5120c6d9c22"},{"sha":"24288d61bee5f30d1204d4e50bf9c57b129ac6be","author":{"name":"nmegill","email":"22045716eebdf63edb645da8b757687137dffbf9@alum.mit.edu"},"message":"Merge pull request #180 from jkingdon/remove-equidq\n\nRemove equidq","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/24288d61bee5f30d1204d4e50bf9c57b129ac6be"},{"sha":"ecf9a32e94b410c5f5ffa2a55afd26dd5ce55d4c","author":{"name":"nmegill","email":"22045716eebdf63edb645da8b757687137dffbf9@alum.mit.edu"},"message":"Merge pull request #181 from wlammen/develop\n\nrm wl prefix from two recently created theorems","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/ecf9a32e94b410c5f5ffa2a55afd26dd5ce55d4c"},{"sha":"833709164af16f60f64fad46f671d636dbf15961","author":{"name":"nmegill","email":"22045716eebdf63edb645da8b757687137dffbf9@alum.mit.edu"},"message":"set.mm - ax-7v work in NM mathbox","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/833709164af16f60f64fad46f671d636dbf15961"},{"sha":"86d4a6530fa070371535cce15bd17cf6b00302c4","author":{"name":"nmegill","email":"22045716eebdf63edb645da8b757687137dffbf9@alum.mit.edu"},"message":"discouraged - regen","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/86d4a6530fa070371535cce15bd17cf6b00302c4"},{"sha":"b1b18fadab7be8e6df27cb6f65b5574c2b4652eb","author":{"name":"Jim Kingdon","email":"ac5e3eca419f6bf67b131d5457234a8e2452d77b@panix.com"},"message":"Move peirce and looinv.\n\nThey (especially peirce) are worth keeping as contrasts between\nclassical and intuitionistic logic, but should be in the classical\nlogic section at the end.","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/b1b18fadab7be8e6df27cb6f65b5574c2b4652eb"},{"sha":"2530c1af147e0559d393c9626046f367e05412dd","author":{"name":"Jim Kingdon","email":"ac5e3eca419f6bf67b131d5457234a8e2452d77b@panix.com"},"message":"Move ax4 to classical logic section.\n\nAlso, reword the comment to reflect the fact that this is a classical\nresult.","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/2530c1af147e0559d393c9626046f367e05412dd"},{"sha":"a21ef868905e6b9770ce6fc694848ea6445077a7","author":{"name":"nmegill","email":"22045716eebdf63edb645da8b757687137dffbf9@alum.mit.edu"},"message":"set.mm - fix comment markup","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/a21ef868905e6b9770ce6fc694848ea6445077a7"},{"sha":"35e448a1a104e1bdb7167a44a5353ba336d36df1","author":{"name":"nmegill","email":"22045716eebdf63edb645da8b757687137dffbf9@alum.mit.edu"},"message":"Merge pull request #182 from jkingdon/move-peirce\n\nMove peirce, looinv, and ax4","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/35e448a1a104e1bdb7167a44a5353ba336d36df1"},{"sha":"70808f6e1deb8d754e0c6ddceef823fa0d7c3bca","author":{"name":"Scott Fenton","email":"79bbc033a594c5ee7b9d07b09cf9927500380428@gmail.com"},"message":"fix comments on cprodeq2i, cprod2id perl Gerard Lang","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/70808f6e1deb8d754e0c6ddceef823fa0d7c3bca"},{"sha":"a2e541831f51f1d6184c713e6d2542d4ce94200f","author":{"name":"nmegill","email":"22045716eebdf63edb645da8b757687137dffbf9@alum.mit.edu"},"message":"discouraged - regen","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/a2e541831f51f1d6184c713e6d2542d4ce94200f"},{"sha":"4d5761b1265d6217e4ebfbd85b0475389b17f8b2","author":{"name":"nmegill","email":"22045716eebdf63edb645da8b757687137dffbf9@alum.mit.edu"},"message":"set.mm - ax-7v work in NM mathbox; rewrap lines","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/4d5761b1265d6217e4ebfbd85b0475389b17f8b2"},{"sha":"546048f53530fcd277296417ec7b3862547da882","author":{"name":"Scott Fenton","email":"79bbc033a594c5ee7b9d07b09cf9927500380428@gmail.com"},"message":"changed names with FL's prod_ notation","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/546048f53530fcd277296417ec7b3862547da882"},{"sha":"2a4b03d8336074e9b0ead02a264bd76f7d51d230","author":{"name":"Scott Fenton","email":"79bbc033a594c5ee7b9d07b09cf9927500380428@gmail.com"},"message":"formatting cleanup after token swap","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/2a4b03d8336074e9b0ead02a264bd76f7d51d230"},{"sha":"757dac55e15d21076814e81fd4d2ba157881f5a7","author":{"name":"Scott Fenton","email":"79bbc033a594c5ee7b9d07b09cf9927500380428@gmail.com"},"message":"Merge with origin/develop","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/757dac55e15d21076814e81fd4d2ba157881f5a7"},{"sha":"53ceecb593ba4feee6f984e3943b8448b4d52b6c","author":{"name":"Scott Fenton","email":"79bbc033a594c5ee7b9d07b09cf9927500380428@gmail.com"},"message":"rewrapped","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/53ceecb593ba4feee6f984e3943b8448b4d52b6c"},{"sha":"919375397111afd653cc11d2dfe104adefcadf65","author":{"name":"Scott Fenton","email":"79bbc033a594c5ee7b9d07b09cf9927500380428@gmail.com"},"message":"add syntax change note","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/919375397111afd653cc11d2dfe104adefcadf65"}]}
{"actor":{"display_login":"wlammen"}}