Diffusion afp-devel 4cabc8dd3298

fix dangerous context management
4cabc8dd3298
Actions

Tags

None

Subscribers

None

Description

fix dangerous context management

Details

Provenance

Simon Wimmer <wimmers@in.tum.de>

Authored on

Parents

rAFP7a2522dce834: Word_Lib sync from l4v; tweak word_eqI

Branches

Unknown

Tags

Unknown

Event Timeline

Simon Wimmer <wimmers@in.tum.de> committed rAFP4cabc8dd3298: fix dangerous context management.Nov 26 2021, 7:12 PM

Changes (2)

Path

Size

thys/

Refine_Imperative_HOL/

Sepref_Frame.thy

Sepref_Monadify.thy

rAFP4cabc8dd3298

thys/Refine_Imperative_HOL/Sepref_Frame.thy

Loading...

thys/Refine_Imperative_HOL/Sepref_Monadify.thy

Loading...