HomeIsabelle/Phabricator
Diffusion afp-devel 64ea6f2d9e8c

Relational_Paths: minor edit, now uses HOL-Hoare
64ea6f2d9e8c
Actions

Description

Relational_Paths: minor edit, now uses HOL-Hoare

Details

Provenance
Walter Guttmann <walter.guttmann@canterbury.ac.nz>Authored on
Parents
rAFP1998678fe699: adapted to devel
Branches
Unknown
Tags
Unknown

Event Timeline

Walter Guttmann <walter.guttmann@canterbury.ac.nz> committed rAFP64ea6f2d9e8c: Relational_Paths: minor edit, now uses HOL-Hoare.Dec 5 2020, 4:26 AM

Changes (2)

PathSize
thys/
Relational_Paths/

rAFP64ea6f2d9e8c

View Options

thys/Relational_Paths/Path_Algorithms.thy

Loading...
View Options

thys/Relational_Paths/ROOT

Loading...