Diffusion afp-devel e432645ba52d

patched some brittle apply-chains
e432645ba52d
Actions

Tags

None

Subscribers

None

Description

patched some brittle apply-chains

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFPead48adb01df: adadpted to 831f17da1aab

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFPe432645ba52d: patched some brittle apply-chains.Nov 11 2020, 12:34 PM

Changes (3)

Path

Size

thys/

Launchbury/

Abstract-Denotational-Props.thy

MiniML/

Statecharts/

rAFPe432645ba52d

thys/Launchbury/Abstract-Denotational-Props.thy

Loading...

thys/MiniML/W.thy

Loading...

thys/Statecharts/HAOps.thy

Loading...