Backed out changeset b867b436f372
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE6a96e9406e53: reduced dependencies on List_Permutation
- Branches
- Unknown
- Tags
- Reverts
- rISABELLEb867b436f372: added lemmas list_all_(take|drop)I and list_all_(take|drop)WhileI