Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned
  2. tuned and added lemmas
  3. avoid abbreviation that is used only locally
  4. dedicated theory for sorting algorithms
  5. merged
  6. more combinatorics lemmas
  7. proper environment for variable folding;
Changeset 69197:50aa773f62d2 by nipkow:
tuned
The file was modified src/HOL/Data_Structures/Braun_Tree.thy (diff)
Changeset 69196:930dbc6610d0 by nipkow:
tuned and added lemmas
The file was modified src/HOL/Data_Structures/Braun_Tree.thy (diff)
Changeset 69195:b6434dce1126 by nipkow:
avoid abbreviation that is used only locally
The file was modified src/HOL/Data_Structures/Braun_Tree.thy (diff)
Changeset 69194:6d514e128a85 by haftmann:
dedicated theory for sorting algorithms
The file was addedsrc/HOL/Library/Sorting_Algorithms.thy
The file was modified src/HOL/Library/Comparator.thy (diff)
The file was modified src/HOL/Library/Library.thy (diff)
Changeset 69193:49b3bb663981 by nipkow:
merged
Changeset 69192:2c4bf4d84de5 by nipkow:
more combinatorics lemmas
The file was modified src/HOL/Data_Structures/Braun_Tree.thy (diff)
Changeset 69191:96b633ac24f8 by wenzelm:
proper environment for variable folding;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Tools/jEdit/patches/putenv (diff)