Diffusion afp-devel eba886159d27

adapted to Isabelle/b61ad889dffa
eba886159d27
Actions

Tags

None

Subscribers

None

Description

adapted to Isabelle/b61ad889dffa

Details

Provenance

Authored on

Parents

rAFPff976ab985f2: removed Restricted_Predicates.transp_on following the introduction of…

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rAFPeba886159d27: adapted to Isabelle/b61ad889dffa.Dec 26 2022, 2:01 PM

Changes (6)

Path

Size

thys/

IMP2_Binary_Heap/

IMP2_Binary_Heap.thy

Polynomials/

MPoly_Type_Class_OAlist.thy

Power_Products.thy

Types_To_Sets_Extension/

Examples/

SML_Relativization/

Simple_Orders/

SML_Simple_Orders.thy

WOOT_Strong_Eventual_Consistency/

rAFPeba886159d27

thys/IMP2_Binary_Heap/IMP2_Binary_Heap.thy

Loading...

thys/Polynomials/MPoly_Type_Class_OAlist.thy

Loading...

thys/Polynomials/OAlist.thy

Loading...

thys/Polynomials/Power_Products.thy

Loading...

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

Loading...

thys/WOOT_Strong_Eventual_Consistency/Sorting.thy

Loading...