Diffusion afp-devel f4d73fee73b5

adjust to isabelle@549019b4a808
f4d73fee73b5
Actions

Tags

None

Subscribers

None

Description

adjust to isabelle@549019b4a808

Details

Provenance

Authored on

Parents

rAFP2505f556a339: merge from afp-2021

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFPf4d73fee73b5: adjust to isabelle@549019b4a808.Oct 31 2021, 3:29 AM

Changes (2)

Path

Size

thys/

Belief_Revision/

AGM_Contraction.thy

rAFPf4d73fee73b5

thys/Belief_Revision/AGM_Contraction.thy

Loading...

thys/Belief_Revision/AGM_Logic.thy

Loading...