Diffusion afp-devel 64d28014cec0

adapted to new mono and strict_mono
64d28014cec0
Actions

Tags

None

Subscribers

None

Description

adapted to new mono and strict_mono

Details

Provenance

Authored on

Parents

rAFP17f4fbb45f9c: updated to Isabelle/5ea588440b06

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rAFP64d28014cec0: adapted to new mono and strict_mono.Jul 5 2022, 9:43 AM

Changes (11)

Path

Size

thys/

Conditional_Transfer_Rule/

CTR/

Tests/

UD/

UD_Reference.thy

CryptHOL/

Partial_Function_Set.thy

Lp/

Markov_Models/

ex/

MonoBoolTranAlgebra/

Mono_Bool_Tran_Algebra.thy

Refine_Monadic/

Refine_Mono_Prover.thy

Transformer_Semantics/

Isotone_Transformers.thy

Types_To_Sets_Extension/

Examples/

SML_Relativization/

Lattices/

SML_Complete_Lattices.thy

SML_Linorders.thy

Simple_Orders/

SML_Simple_Orders.thy

rAFP64d28014cec0

thys/Conditional_Transfer_Rule/CTR/Tests/CTR_Tests.thy

Loading...

thys/Conditional_Transfer_Rule/UD/UD_Reference.thy

Loading...

thys/CryptHOL/Partial_Function_Set.thy

Loading...

thys/Lp/Lp.thy

Loading...

thys/Markov_Models/ex/PGCL.thy

Loading...

thys/MonoBoolTranAlgebra/Mono_Bool_Tran_Algebra.thy

Loading...

thys/Refine_Monadic/Refine_Mono_Prover.thy

Loading...

thys/Transformer_Semantics/Isotone_Transformers.thy

Loading...

thys/Types_To_Sets_Extension/Examples/SML_Relativization/Lattices/SML_Complete_Lattices.thy

Loading...

thys/Types_To_Sets_Extension/Examples/SML_Relativization/Lattices/SML_Linorders.thy

Loading...

thys/Types_To_Sets_Extension/Examples/SML_Relativization/Simple_Orders/SML_Simple_Orders.thy

Loading...