merged
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE24f0cd70790b: added lemmas Finite_Set.bex_(min|max)_element_with_property and reordered…
rISABELLEf5b67198b019: backed out changeset 6c2494750a4e: it hardly makes a difference for heap size… - Branches
- Unknown
- Tags
Merged Changes
Merged Changes