HomeIsabelle/Phabricator

added lemmas list_all_(take|drop)I and list_all_(take|drop)WhileI