Diffusion afp-devel 65c96a5ebb31

tuned: prefer try-catch/finally over low-level 'handle';
65c96a5ebb31
Actions

Tags

None

Subscribers

None

Description

tuned: prefer try-catch/finally over low-level 'handle';

Details

Provenance

Authored on

Parents

rAFPb7d5aa642fc1: tuned: prefer try-catch/finally over low-level 'handle';

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFP65c96a5ebb31: tuned: prefer try-catch/finally over low-level 'handle';.Sep 28 2023, 11:47 PM

Changes (2)

Path

Size

thys/

Separation_Logic_Imperative_HOL/

SpecCheck/

rAFP65c96a5ebb31

thys/Separation_Logic_Imperative_HOL/Automation.thy

Loading...

thys/SpecCheck/property.ML

Loading...