added lemmas (sublist|prefix|suffix)_list_all
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE99c1c4f89605: added lemmas takeWhile_is_prefix, suffix_dropWhile, and sublist_(take|drop)While
- Branches
- Unknown
- Tags
- Reverted By
- rISABELLEd47c8a89c6a5: Backed out changeset 3fdb94d87e0e