HomeIsabelle/Phabricator
Diffusion afp-devel f95fe1ab8980

refactoring
f95fe1ab8980
Actions

Description

refactoring

Details

Provenance
Julian Brunner <julianbrunner@gmail.com>Authored on
Parents
rAFP2f442131b76e: exclude another session on Mac
Branches
Unknown
Tags
Unknown

Event Timeline

Julian Brunner <julianbrunner@gmail.com> committed rAFPf95fe1ab8980: refactoring.Jun 29 2020, 10:33 AM

Changes (2)

PathSize
thys/
Buchi_Complementation/
Transition_Systems_and_Automata/
Transition_Systems/

rAFPf95fe1ab8980

View Options

thys/Buchi_Complementation/Complementation.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Transition_Systems/Transition_System_Construction.thy

Loading...