Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. added automatic proofs from HOL/Data_Structures/Splay_Tree_Set
Changeset 8240:743c7180ceab by nipkow:
merged
Changeset 8239:137207efc581 by nipkow:
added automatic proofs from HOL/Data_Structures/Splay_Tree_Set
The file was modified thys/Splay_Tree/ROOT (diff)
The file was modified thys/Splay_Tree/Splay_Tree.thy (diff)
The file was modified thys/Splay_Tree/document/root.bib (diff)