Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. sascha's smt fix means that now all examples are proved by smt
Changeset 9077:8ec5df0f857b by nipkow:
merged
Changeset 9076:bee0611ea2dd by nipkow:
sascha's smt fix means that now all examples are proved by smt
The file was modified thys/Weight_Balanced_Trees/Weight_Balanced_Trees.thy (diff)