Diffusion Isabelle c0d689c4fd15

tweaked time functions for median-of-medians selection in HOL-Data_Structures
c0d689c4fd15
Actions

Tags

None

Subscribers

None

Description

tweaked time functions for median-of-medians selection in HOL-Data_Structures

Details

Provenance

Authored on

Parents

rISABELLE1a9f0159de5b: merged

Branches

Unknown

Tags

Unknown

Event Timeline

pruvisto committed rISABELLEc0d689c4fd15: tweaked time functions for median-of-medians selection in HOL-Data_Structures.Thu, Apr 11, 2:13 PM

Changes (1)

Path

Size

src/

HOL/

Data_Structures/

rISABELLEc0d689c4fd15

src/HOL/Data_Structures/Selection.thy

Loading...