Francisco Coelho / zugzwang

Name	Last Update	Last Commit 64dd7c8f – Solved subset explanation. History
..
backup	Loading commit data...
probast_draft	Loading commit data...
00_ASP.md	Loading commit data...
00_DRAFTS.md	Loading commit data...
00_DistSem.md	Loading commit data...
00_DistSem.pdf	Loading commit data...
00_ILP.md	Loading commit data...
00_ILP.pdf	Loading commit data...
00_PASP.md	Loading commit data...
00_PASP.pdf	Loading commit data...
00_PASP.synctex.gz	Loading commit data...
00_PASP.tex	Loading commit data...
00_PASP.xdv	Loading commit data...
00_POTASSCO.md	Loading commit data...
00_PROB.md	Loading commit data...
00_PROB.pdf	Loading commit data...
00_Z3.md	Loading commit data...
Pabc_alpha03.pdf	Loading commit data...
pre-paper.pdf	Loading commit data...
pre-paper.tex	Loading commit data...