Skip to content
[Jenkins]Jenkins
log in
Aborted

Changes

Summary

  1. one more unfixed dev update
  2. updated to dev
Changeset 6599:0533cbba8925 by nipkow:
one more unfixed dev update
The file was modified thys/Markov_Models/ex/MDP_RP_Certification.thy (diff)
Changeset 6598:7dc285766b62 by nipkow:
updated to dev
The file was modified thys/Groebner_Bases/Abstract_Poly.thy (diff)
The file was modified thys/Groebner_Bases/Poly_Lists.thy (diff)
The file was modified thys/LTL_to_DRA/LTL_Rabin.thy (diff)