Diffusion afp-devel 18437ad04fb8

Fixes mostly for log_mono aliasing
18437ad04fb8
Actions

Tags

None

Subscribers

None

Description

Fixes mostly for log_mono aliasing

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFPc6e769593bac: Brought this new entry up-to-date with the development version

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP18437ad04fb8: Fixes mostly for log_mono aliasing.Mar 27 2024, 4:18 PM

Changes (6)

Path

Size

thys/

Frequency_Moments/

Frequency_Moment_0.thy

Frequency_Moments_Preliminary_Results.thy

MDP-Algorithms/

Splitting_Methods_Fin.thy

Markov_Models/

ex/

Crowds_Protocol.thy

Probabilistic_While/

Fast_Dice_Roll.thy

Source_Coding_Theorem/

Source_Coding_Theorem.thy

rAFP18437ad04fb8

thys/Frequency_Moments/Frequency_Moment_0.thy

Loading...

thys/Frequency_Moments/Frequency_Moments_Preliminary_Results.thy

Loading...

thys/MDP-Algorithms/Splitting_Methods_Fin.thy

Loading...

thys/Markov_Models/ex/Crowds_Protocol.thy

Loading...

thys/Probabilistic_While/Fast_Dice_Roll.thy

Loading...

thys/Source_Coding_Theorem/Source_Coding_Theorem.thy

Loading...