Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned name
  2. tuned
Changeset 70273:acc1749c2be9 by nipkow:
tuned name
The file was modified src/HOL/Data_Structures/Tree23.thy (diff)
The file was modified src/HOL/Data_Structures/Tree23_Map.thy (diff)
The file was modified src/HOL/Data_Structures/Tree23_Set.thy (diff)
Changeset 70272:1d564a895296 by nipkow:
tuned
The file was modified src/HOL/Data_Structures/Tree23_Set.thy (diff)