merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rISABELLE0cdb384bf56a: More new theorems from the number theory development
rISABELLE35a05e61c7b4: merged - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
- 86217697863c tuned signature;Author
- e5ec449b4839 tuned signature;Author
- ee7dc5151db5 tuned signature;Author
- 05a4ce3f6b0c tuned whitespace;Author
- a7c4510ae251 tuned --- implicit split;Author
- a917f580a107 clarified signature;Author
- 3070001c9d1f tuned signature;Author
- a3f67a4459e1 more uniform use of SHA1.Shasum;Author
- 6784eaef7d0c prefer explicit shasum;Author
- d69732bc3dbe prefer explicit shasum;Author
- 2cf7a61e4a73 clarified signature;Author