Diffusion afp-devel fe4bf27391fd

generalized degeneralization
fe4bf27391fd
Actions

Tags

None

Subscribers

None

Description

generalized degeneralization

Details

Provenance

Julian Brunner <julianbrunner@gmail.com>

Authored on

Parents

rAFPf45e96908c95: Tobias Nipkow found the issue. A line in the proof of frechet_vec_nth. Reduced…

Branches

Unknown

Tags

Unknown

Event Timeline

Julian Brunner <julianbrunner@gmail.com> committed rAFPfe4bf27391fd: generalized degeneralization.Feb 8 2020, 8:48 PM

Changes (3)

Path

Size

thys/

Transition_Systems_and_Automata/

Automata/

NBA/

NBA_Combine.thy

NGBA_Algorithms.thy

Nondeterministic.thy

rAFPfe4bf27391fd

thys/Transition_Systems_and_Automata/Automata/NBA/NBA_Combine.thy

Loading...

thys/Transition_Systems_and_Automata/Automata/NBA/NGBA_Algorithms.thy

Loading...

thys/Transition_Systems_and_Automata/Automata/Nondeterministic.thy

Loading...