merge from afp-2020
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFPabf1c421946b: sitegen for Inductive_Inference
rAFPaade54113506: saturation framework: completes standard_lifting restructuration - 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.
- 3c01c6d69e78 more on conversionsAuthor
- 0a2b5e06621c renamingsAuthor
- 075c0450120d tuned notationAuthor
- a22073e6cb92 tuningAuthor
- f22a73cc49a1 tuned arrows, and proofsAuthor
- c812b6895caa variable renamingAuthor
- 023af1e22f70 more on conversionsAuthor
- aa61d7d2a5fc quantifier fixesAuthor
- 9f61d06c57fc simplified 'length = 0'Author
- c1979202233d tuned documentAuthor
- a7b99e8a1d84 tunedAuthor
- 62b7aa536380 more lex fixesAuthor
- fcf802f31002 some lex fixesAuthor
- 116a82414c28 dropped aliasAuthor