merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rISABELLE8765ca252772: merged
rISABELLE38d001186621: merged - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Merged Changes
Merged Changes
- 049a71febf05 proper structural equality;Author
- 5a6f7212fc4d more explicit types;Author
- 0017eb17ac1c unused (see 7634d33c1a79);Author
- bc82fc605424 clarified signature;Author
- bda424c5819f clarified modules;Author
- b808eddc83cf clarified file names;Author
- 082200ee003d tuned signature;Author