HomeIsabelle/Phabricator

more compact data: approx. 0.85 .. 1.10 of plain list size;

Description

more compact data: approx. 0.85 .. 1.10 of plain list size;
fewer comparisons for Leaf2 / Leaf3: observe order;

Details

Provenance
makariusAuthored on
Parents
rISABELLE2225d3267f58: slightly more compact data;
Branches
Unknown
Tags
Unknown