merge from afp-2021-1
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFPbece356544f4: avoid conflict with index.html in generated html
rAFP407fe43aed0a: Improve consistency of type-variables in WOOT_Strong_Eventual_Consistency. - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- 2d18ab671110 Qualification required(?)Author
- 64393a5f8dc2 more variants of the algorithmAuthor
- bd32b1fd6406 merged
- 6ef2e075a034 tuned whitespace;Author
- 6136280343a0 more symbols;Author
- e5dd226cebfc profer bundle lattice_syntax;Author
- d002a4bd210d avoid hardwired document output;Author
- 58ab4f651da2 tweaksAuthor
- d858bca8a11d tunedAuthor
- 20e68f30d833 mv to distributionAuthor
- 1e6800ff5ef5 by now in distributionAuthor
- bcab7766727b merge from afp-2021-1Author
- c55c666012a3 used wfP_imp_asymp from HOLAuthor
- cae2c55e7bbb simplified proof some moreAuthor
- 1d3873e125b1 simplified proofAuthor