HomeIsabelle/Phabricator
Diffusion afp-devel a4d6982af7be

fix for previous commit
a4d6982af7be
Actions

Description

fix for previous commit

Details

Provenance
Julian Brunner <julianbrunner@gmail.com>Authored on
Parents
rAFP93cea894b5ef: refactoring
Branches
Unknown
Tags
Unknown

Event Timeline

Julian Brunner <julianbrunner@gmail.com> committed rAFPa4d6982af7be: fix for previous commit.Apr 23 2020, 7:47 PM

Changes (1)

PathSize
thys/
Buchi_Complementation/

rAFPa4d6982af7be

View Options

thys/Buchi_Complementation/Complementation.thy

Loading...