merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rISABELLEf6695e7aff32: The wellordering instantiation for length-ordered lists
rISABELLEa480964ea704: show sum_list defn - Branches
- Unknown
- Tags
Merged Changes
Merged Changes