Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Brought Mason_Stothers and Median_of_Medians_Selection up to speed with isabelle-dev
Changeset 8720:2b98a8f281fe by eberlm _eberlm@in.tum.de_:
Brought Mason_Stothers and Median_of_Medians_Selection up to speed with isabelle-dev
The file was modified thys/Mason_Stothers/Mason_Stothers.thy (diff)
The file was modified thys/Median_Of_Medians_Selection/Median_Of_Medians_Selection.thy (diff)