merge from afp-2023;
Description
Description
Details
Details
- Provenance
Fabian Huch <huch@in.tum.de> Authored on - Parents
- rAFPb656d667755f: sitegen;
rAFP736aec1d5af4: Adaption to new HOL-CSP core; some stronger compactification theorems. - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Fabian Huch <huch@in.tum.de> committed rAFPf2428fcb275d: merge from afp-2023;.Oct 6 2023, 9:28 AM2023-10-06 09:28:52 (UTC+2)
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- 1f31735d205e more lit.refsAuthor
- b1926dc1e25f added lit.ref.Author
- 89c3c7db185b fix link;
- 42bb70bbe698 tuned metadataAuthor
- c36d06b9ec96 tuned metadataAuthor
- e6a485ed4efb tuned metadataAuthor
- 9c5fe84ef108 adapted to Isabelle/72631efa3821;Author
- 622d847d12a7 avoid deadly "handle _ => ...";Author
- d57b427b0d34 merge from afp-2023Author
- 20d6a62d7fad merge from afp-2023Author
- a270719ee81d tuned;
- 19047d6a642b adapted to Isabelle/fd1fec53665b;Author
- 2fbc8606df8b small fixesAuthor
- 44bccec51c26 close branch
Very Large Commit
This commit is very large, and affects more than 1000 files. Changes are not shown.