merge from afp-2023
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFP6444261143dc: update Simpl entry; change license to BSD
rAFPab51f294d5c1: A lot of tidying - 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.
- ab51f294d5c1 A lot of tidyingAuthor
- 4134e514c27f Shortening some proofsAuthor
- b6e6c1df8c71 more realistic timeouts;Author
- c86fe3a1d9eb strengthened class parityAuthor
- 7e9b176b1eb0 use define_time_functionAuthor
- 77537bd7a677 tuned signature;Author
- b748f578c7ba adapted to Isabelle/c7a98469c0e7;Author
- 4bf9d33ced3d mergeAuthor
- 62ebe231642c Renamed a theoremAuthor
- 92eb53e213a7 consolidated lemma nameAuthor
Very Large Commit
This commit is very large, and affects more than 1000 files. Changes are not shown.