Diffusion Isabelle c9c1a64eeb69

corrected typo in lemma name
c9c1a64eeb69
Actions

Tags

None

Subscribers

None

Description

corrected typo in lemma name

Details

Provenance

Authored on

Parents

rISABELLEb3956a37c994: merged

Branches

Unknown

Tags

Unknown

Event Timeline

traytel committed rISABELLEc9c1a64eeb69: corrected typo in lemma name.Nov 6 2019, 4:57 PM

Changes (1)

Path

Size

src/

HOL/

Library/

Linear_Temporal_Logic_on_Streams.thy

rISABELLEc9c1a64eeb69

src/HOL/Library/Linear_Temporal_Logic_on_Streams.thy

Loading...