HomeIsabelle/Phabricator
Diffusion afp-devel 7605cbd184c5

new entry Belief_Revision
7605cbd184c5
Actions

Description

new entry Belief_Revision

Details

Provenance
Andreas Lochbihler <mail@andreas-lochbihler.de>Authored on
Parents
rAFP5553daf386e6: New entry Correctness_Algebras
Branches
Unknown
Tags
Unknown

Event Timeline

Andreas Lochbihler <mail@andreas-lochbihler.de> committed rAFP7605cbd184c5: new entry Belief_Revision.Oct 22 2021, 10:40 AM

Changes (13)

PathSize

rAFP7605cbd184c5

View Options

thys/Belief_Revision/AGM_Contraction.thy

Loading...
View Options

thys/Belief_Revision/AGM_Logic.thy

Loading...
View Options

thys/Belief_Revision/AGM_Remainder.thy

Loading...
View Options

thys/Belief_Revision/AGM_Revision.thy

Loading...
View Options

thys/Belief_Revision/ROOT

Loading...
View Options

thys/Belief_Revision/document/adb-long.bib

Loading...
View Options

thys/Belief_Revision/document/graph_locales.pdf

Loading...
View Options

thys/Belief_Revision/document/root.bib

Loading...
View Options

thys/Belief_Revision/document/root.tex

Loading...
View Options

thys/ROOTS

Loading...