merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rAFPa1f0a543602e: simplified a few proofs
rAFP92bb16b93fd2: sitegen and metadata for Constructive_Cryptography_CM - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- ad08fbc23656 more robust invocation of hg;Author
- 66048a1fe6d6 Update tile to match metadataAuthor
- e81a252628db Extend entry SzpilrajnAuthor
- 184d9cadd5ca more lemmasAuthor
- 25aa6648a101 neater proofAuthor
- 1335f4299090 avoid name clashAuthor
- 48319c117066 consolidated namesAuthor
- 7281051707f6 lemma diffusionAuthor
- 59274460849c merge from afp-2021Author
- ca99cb5446f9 merge from afp-2021Author
- 5c7a3b0533b3 more specific nameAuthor
- 4f8e7efb12a8 adapted to Isabelle/0110e2e2964c;Author
- be5e2dcd71e3 adapted to Isabelle/f0db1e4c89bc;Author
- ec187af6fd41 more accurate process_result;Author
- fedf84a4c625 adapted to Isabelle/440546ea20e6;Author