Diffusion afp-devel b5968e0969d7

adapted to Isabelle/4a174bea55e2;
b5968e0969d7
Actions

Tags

None

Subscribers

None

Description

adapted to Isabelle/4a174bea55e2;

Details

Provenance

Authored on

Parents

rAFP283b369461f2: uodated map update syntax

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFPb5968e0969d7: adapted to Isabelle/4a174bea55e2;.Mar 29 2023, 12:35 PM

Changes (1)

Path

Size

thys/

Conditional_Transfer_Rule/

CTR_Tools/

rAFPb5968e0969d7

thys/Conditional_Transfer_Rule/CTR_Tools/More_Logic.ML

Loading...