HomeIsabelle/Phabricator
Diffusion afp-devel 2a8c0c859b0a

refactoring
2a8c0c859b0a
Actions

Description

refactoring

Details

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

Event Timeline

Julian Brunner <julianbrunner@gmail.com> committed rAFP2a8c0c859b0a: refactoring.May 15 2020, 11:42 AM

Changes (3)

PathSize
thys/
Transition_Systems_and_Automata/
Basic/
Transition_Systems/

rAFP2a8c0c859b0a

View Options

thys/Transition_Systems_and_Automata/Basic/Degeneralization.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Basic/Sequence_LTL.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Transition_Systems/Transition_System_Construction.thy

Loading...