Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

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

Changeset 80093:c0d689c4fd15 by Manuel Eberl _manuel@pruvisto.org_: tweaked time functions for median-of-medians selection in HOL-Data_Structures
The file was modified	`src/HOL/Data_Structures/Selection.thy` (diff)