Diffusion afp-devel 58359778acff

corrected all "bysimp"
58359778acff
Actions

Tags

None

Subscribers

None

Description

corrected all "bysimp"

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP1668bf4eba40: Automated merge with bundle:/var/folders/9z/l1x9y3bd16x9_70pdp4703jr0000gp/T/So…

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP58359778acff: corrected all "bysimp".May 17 2022, 4:34 PM

Changes (8)

Path

Size

thys/

Core_DOM/

standard/

Core_DOM_Heap_WF.thy

Core_SC_DOM/

safely_composable/

Core_DOM_Heap_WF.thy

List_Update/

List_Factoring.thy

MFMC_Countable/

MFMC_Flow_Attainability.thy

MFMC_Unbounded.thy

SC_DOM_Components/

Core_DOM_SC_DOM_Components.thy

Virtual_Substitution/

EliminateVariable.thy

rAFP58359778acff

thys/Core_DOM/standard/Core_DOM_Heap_WF.thy

Loading...

thys/Core_SC_DOM/safely_composable/Core_DOM_Heap_WF.thy

Loading...

thys/List_Update/List_Factoring.thy

Loading...

thys/MFMC_Countable/MFMC_Flow_Attainability.thy

Loading...

thys/MFMC_Countable/MFMC_Unbounded.thy

Loading...

thys/MFMC_Countable/MFMC_Web.thy

Loading...

thys/SC_DOM_Components/Core_DOM_SC_DOM_Components.thy

Loading...

thys/Virtual_Substitution/EliminateVariable.thy

Loading...