Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Markov_Models: add AE_T_ev_HLD' and nicer syntax for pGCL wp semantics
  2. restrict abbreviation to (input)
Changeset 6187:054fd81f3ec7 by hoelzl:
Markov_Models: add AE_T_ev_HLD' and nicer syntax for pGCL wp semantics
The file was modified thys/Markov_Models/Discrete_Time_Markov_Chain.thy (diff)
The file was modified thys/Markov_Models/ex/PGCL.thy (diff)
Changeset 6186:ef973425b9c2 by rene thiemann _rene.thiemann@uibk.ac.at_:
restrict abbreviation to (input)
The file was modified thys/Polynomial_Factorization/Dvd_Int_Poly.thy (diff)