Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. merged
  2. replace manual def. of timing function
Changeset 80248:95f169ac0207 by nipkow:
merged
Changeset 80247:a424accf705d by nipkow:
replace manual def. of timing function
The file was modified src/HOL/Data_Structures/Sorting.thy