Age | Commit message (Collapse) | Author | |
---|---|---|---|
2018-09-15 | subscript | Jeff Burdges | |
2018-09-15 | Another no return value | Jeff Burdges | |
2018-09-15 | We do not say other oracles have no return value when they do not. | Jeff Burdges | |
2018-09-15 | Missing notion of negligable. Or maybe this hsould be removed? | Jeff Burdges | |
2018-09-15 | Style and grammar | Jeff Burdges | |
2018-09-03 | de-Talerize, move extras into appendix, cut down to 15 pages | Christian Grothoff | |
2018-09-01 | abstract, fix up bib | Florian Dold | |
2018-09-01 | fc19 | Florian Dold | |