merged
Description
Description
Details
Details
- Provenance
Andreas Lochbihler <mail@andreas-lochbihler.de> Authored on - Parents
- rAFPe43bebc4bcb3: drop boundedness requirement for the sink
rAFPa471fb8c85c4: avoid global tmp file: pointless due to implicit theory export; - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Andreas Lochbihler <mail@andreas-lochbihler.de> committed rAFPce3d74fa5ddf: merged.Aug 13 2021, 1:42 PM2021-08-13 13:42:47 (UTC+2)
Merged Changes
Merged Changes
- d8cd1583a4f6 repaired syntaxAuthor
- c3e0fa187981 clarified signature;Author
- 393bd86c18ea antiquotation for bundlesAuthor
- 7f4f3900fd58 dropped junkAuthor
- f775ffffa43c Clean: re-add to chapter AFPAuthor
- 3ccdf21c5bb4 merge from afp-2021Author
- fd1d5b3fdd7c close branchAuthor
- daa87ea0470c close branchAuthor
- f7321f5a8909 close branchAuthor
- a040f98f10ef close branchAuthor
- ff876ac75e44 close branchAuthor
- 3b5ff4b8d37d Closing branch "devel"Author
- a0d561998f20 closed branchAuthor
- ad14484777fc merged