merge of AFP 2021
Description
Description
Details
Details
- Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at> Authored on - Parents
- rAFP390727e50cc9: fixed duplicate "and"
rAFP31038ef0e4aa: modifications in Jinja and DOminance_CHK - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP2d64f4766089: merge of AFP 2021.Oct 19 2021, 3:48 PM2021-10-19 15:48:34 (UTC+2)
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- 7a08c3aec8d9 updated website/email addressAuthor
- 1c4e253f1310 tuned proofs;Author
- 8f7185ecb827 proper antiquotations;Author
- 4e4a7bc724be tuned messages;Author
- e33e03ef2ac1 dead code!?Author
- 323c29c97a1e close merged branchAuthor
- 8d2f2c35b69d updated to 7422950f3955Author
- 134b70fc858e primerAuthor
- f8dc7663c3cf more complete simp rulesAuthor
- c0285f96e2f4 adapted to develAuthor
- bc7f138a2252 merge from afp-2021Author
- e4902fc8dcf9 clarified timeout;Author
- d61e75e1c9ac hide_lams ~> opaque_lifting;Author
- cfa6785b8b7e clarified antiquotations;Author
- 86b3c063b0e2 proper inst table;Author
- 9ebd144ec3db clarified antiquotations;Author
- c275879cb0cc clarified antiquotations;Author
- 3a5b2e80b8d8 proper inst table;Author
- 41bec29178b3 clarified antiquotations;Author
- ee831eca092c clarified antiquotations;Author