added lemmas list_all_(take|drop)I and list_all_(take|drop)WhileI
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE10f5f5b880f4: typo
- Branches
- Unknown
- Tags
- Reverted By
- rISABELLE8a1c6c7909c9: Backed out changeset b867b436f372