Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Merged
  2. Fixed Sturm_Sequences
Changeset 7149:135f43210120 by eberlm _eberlm@in.tum.de_:
Merged
Changeset 7148:f09fe5de42d3 by eberlm _eberlm@in.tum.de_:
Fixed Sturm_Sequences
The file was modified thys/Sturm_Sequences/Sturm_Method.thy (diff)
The file was modified thys/Sturm_Sequences/Sturm_Theorem.thy (diff)