merge from AFP 2023
Description
Description
Details
Details
- Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at> Authored on - Parents
- rAFPbd16775e7ec6: metadata for HOL-CSP OpSem and sitegen
rAFP5023c947e95e: merge from AFP 2023 - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPddedc406ab66: merge from AFP 2023.Mar 8 2024, 11:15 AM2024-03-08 11:15:21 (UTC+1)
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- 845e35e9d4ad more accurate timeout;Author
- bdbc6a865570 non-executable files;Author
- efe28b85919e New version consistent with paperAuthor
- cd210b694fe0 tuned whitespace;Author
- 76d544195339 tuned whitespace;Author
- ddf90847bfa5 enable proof in session Lorenz_C1Author
- 9fe22db3f8a8 simplified proofsAuthor
- f47a01e6ab6d simplified proofAuthor
- 72cce11020f9 tuned proofsAuthor
- f5d6d7c7f38e Simpl: remove stray thm commandAuthor
- 3573cc4311ae merge from afp-2023Author
- ab51f294d5c1 A lot of tidyingAuthor
- 4134e514c27f Shortening some proofsAuthor
- b6e6c1df8c71 more realistic timeouts;Author