Diffusion afp-devel c7318a9475e5

tuned signature, following Isabelle/069f6b2c5a07;
c7318a9475e5
Actions

Tags

None

Subscribers

None

Description

tuned signature, following Isabelle/069f6b2c5a07;

Details

Provenance

Authored on

Parents

rAFP34754976c5bf: metadata update for MFMC_Countable

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFPc7318a9475e5: tuned signature, following Isabelle/069f6b2c5a07;.Aug 16 2021, 12:41 PM

Changes (5)

Path

Size

thys/

Applicative_Lifting/

Automatic_Refinement/

Lib/

Named_Sorted_Thms.thy

Nominal2/

nominal_thmdecls.ML

Refine_Imperative_HOL/

Lib/

Named_Theorems_Rev.thy

Stream_Fusion_Code/

stream_fusion.ML

rAFPc7318a9475e5

thys/Applicative_Lifting/applicative.ML

Loading...

thys/Automatic_Refinement/Lib/Named_Sorted_Thms.thy

Loading...

thys/Nominal2/nominal_thmdecls.ML

Loading...

thys/Refine_Imperative_HOL/Lib/Named_Theorems_Rev.thy

Loading...

thys/Stream_Fusion_Code/stream_fusion.ML

Loading...