Skip to content
[Jenkins]Jenkins
log in
Aborted

Changes

Summary

  1. merged
  2. more lemmas
  3. merged
  4. simpler types
Changeset 68142:53b4e204755e by nipkow:
merged
Changeset 68141:b105964ae3c4 by nipkow:
more lemmas
The file was modified src/HOL/List.thy (diff)
Changeset 68140:9339687ca071 by nipkow:
merged
Changeset 68139:cba8eaa2174f by nipkow:
simpler types
The file was modified src/HOL/Data_Structures/Sorting.thy (diff)