Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned name
  2. removed unclear clause; slower but clearer
Changeset 64953:f9cfb10761ff by nipkow:
tuned name
The file was modified src/HOL/Data_Structures/RBT_Set.thy (diff)
Changeset 64952:f11e974b47e0 by nipkow:
removed unclear clause; slower but clearer
The file was modified src/HOL/Data_Structures/RBT.thy (diff)
The file was modified src/HOL/Data_Structures/RBT_Set.thy (diff)