Diffusion afp-devel aa9f5a4ba71a

refactoring
aa9f5a4ba71a
Actions

Tags

None

Subscribers

None

Description

refactoring

Details

Provenance

Julian Brunner <julianbrunner@gmail.com>

Authored on

Parents

rAFPc634bd4453ee: refactoring

Branches

Unknown

Tags

Unknown

Event Timeline

Julian Brunner <julianbrunner@gmail.com> committed rAFPaa9f5a4ba71a: refactoring.Apr 22 2020, 7:28 PM

Changes (2)

Path

Size

thys/

Transition_Systems_and_Automata/

Automata/

NBA/

NBA_Algorithms.thy

rAFPaa9f5a4ba71a

thys/Transition_Systems_and_Automata/Automata/NBA/NBA_Algorithms.thy

Loading...

thys/Transition_Systems_and_Automata/Automata/NBA/NBA_Graphs.thy

Loading...