Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. proved avl for map (finally); tuned
Changeset 68423:c1db7503dbaa by nipkow:
merged
Changeset 68422:0a3a36fa1d63 by nipkow:
proved avl for map (finally); tuned
The file was modified src/HOL/Data_Structures/AVL_Map.thy (diff)
The file was modified src/HOL/Data_Structures/AVL_Set.thy (diff)