Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. adapt to changes in Monomorphic_Monad
  2. update metadata
  3. merged
  4. more monads, more examples
  5. add another example of a probabilistic while program
Changeset 8906:87ff8e7e553d by Andreas Lochbihler:
adapt to changes in Monomorphic_Monad
The file was modified thys/CryptHOL/Misc_CryptHOL.thy (diff)
Changeset 8905:5c602ddc4886 by Andreas Lochbihler:
update metadata
The file was modified metadata/metadata (diff)
Changeset 8904:5ffa0cff4f08 by Andreas Lochbihler:
merged
Changeset 8903:bc5399eea78e by Andreas Lochbihler:
more monads, more examples
The file was modified thys/Monomorphic_Monad/Interpreter.thy (diff)
The file was modified thys/Monomorphic_Monad/Monad_Overloading.thy (diff)
The file was modified thys/Monomorphic_Monad/Monomorphic_Monad.thy (diff)
Changeset 8902:305867c4e911 by Andreas Lochbihler:
add another example of a probabilistic while program
The file was addedthys/Probabilistic_While/Resampling.thy
The file was modified thys/Probabilistic_While/ROOT (diff)