Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. more accurate cong del;
  3. tuned;
Changeset 6977:0ae1341ef931 by wenzelm:
merged
Changeset 6976:0fc9490d72aa by wenzelm:
more accurate cong del;
The file was modified thys/Formula_Derivatives/Presburger_Formula.thy (diff)
The file was modified thys/MFMC_Countable/Max_Flow_Min_Cut_Countable.thy (diff)
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 6975:840e2f318371 by wenzelm:
tuned;
The file was modified thys/MFMC_Countable/ROOT (diff)