Backed out changeset 3fdb94d87e0e
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE8a1c6c7909c9: Backed out changeset b867b436f372
- Branches
- Unknown
- Tags
- Reverts
- rISABELLE3fdb94d87e0e: added lemmas (sublist|prefix|suffix)_list_all