Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. added tree lemmas
Changeset 62650:7e6bb43e7217 by nipkow:
added tree lemmas
The file was modified src/HOL/Data_Structures/Tree2.thy (diff)
The file was modified src/HOL/Library/Tree.thy (diff)