merged
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLEa4fa039a6a60: added lemma totalp_on_total_on_eq[pred_set_conv]
rISABELLE2e8a2dc7a1e6: removed non-standard spaces in output - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
- 2bf2cc3aca84 tuned whitespace;Author
- 57b6a28e4eba tuned signature;Author
- ff8012edac89 clarified signature;Author
- 0dcaf0e5107b clarified modules;Author
- 0c2ff768caf5 more meta data;Author
- 2251548ec4a8 tuned messages;Author
- b32fdb67f851 provide .hg_sync meta data;Author
- 0106c89fb71f clarified signature;Author
- b22228173915 clarified options;Author
- 64d48fb1b37b more robust;Author
- a5e0f1c66c26 clarified signature (again);Author
- ee51db628e71 clarified signature;Author