Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. add PFP implementation as applicative functor
  3. merged
  4. tuned proof
Changeset 7166:1e958cc1942e by Andreas Lochbihler:
merged
Changeset 7165:3025ca079d32 by Andreas Lochbihler:
add PFP implementation as applicative functor
The file was addedthys/Applicative_Lifting/Applicative_Probability_List.thy
The file was modified thys/Applicative_Lifting/Applicative_Functor.thy (diff)
Changeset 7164:1e040b329638 by Andreas Lochbihler:
merged
Changeset 7163:43f44f0be838 by Andreas Lochbihler:
tuned proof
The file was modified thys/MFMC_Countable/Max_Flow_Min_Cut_Countable.thy (diff)