Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Random_BSTs: Tree_Space uses now the trees from HOL-Library
  2. hide tree names in Random_BST
Changeset 8013:1e3289d9a036 by hoelzl:
Random_BSTs: Tree_Space uses now the trees from HOL-Library
The file was modified thys/Random_BSTs/Random_BSTs.thy (diff)
Changeset 8012:0b4d9c7467dc by hoelzl:
hide tree names in Random_BST
The file was modified thys/Random_BSTs/Random_BSTs.thy (diff)