merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rISABELLE4167d3d3d478: Jakub Kądziołka's stronger version of generate_pow_card (required some…
rISABELLE4b2691211719: moved lemmas from AFP to distribution - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Merged Changes
Merged Changes
- 8d83acc5062e clarified signature;Author
- 65554bac121b clarified document;Author
- 878c73cdfa0d tuned signature;Author