merged
Description
Description
Details
Details
- Provenance
nipkow Authored on - Parents
- rISABELLE3fb16bed5d6c: replaced new type ('a,'b) tree by old type ('a*'b) tree.
rISABELLE59341cfb8fed: more Phabricator configuration; - Branches
- Unknown
- Tags
Merged Changes
Merged Changes