HomeIsabelle/Phabricator

HOL-Data_Structures: added Selection and time functions for list functions

Description

HOL-Data_Structures: added Selection and time functions for list functions

Details

Provenance
pruvistoAuthored on
Parents
rISABELLEf062d19c4b44: merged
Branches
Unknown
Tags
Unknown