Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. tuned;
  3. added quicksort
  4. tuned
Changeset 68995:10da16970d82 by wenzelm:
merged
Changeset 68994:d961e11e0e87 by wenzelm:
tuned;
The file was modified src/Pure/Tools/update_cartouches.scala (diff)
The file was modified src/Pure/Tools/update_comments.scala (diff)
The file was modified src/Pure/Tools/update_header.scala (diff)
The file was modified src/Pure/Tools/update_then.scala (diff)
The file was modified src/Pure/Tools/update_theorems.scala (diff)
Changeset 68993:e66783811518 by nipkow:
added quicksort
The file was modified src/HOL/Data_Structures/Sorting.thy (diff)
Changeset 68992:8f7d3241ed68 by nipkow:
tuned
The file was modified src/HOL/Library/Multiset.thy (diff)