Diffusion Isabelle 1d19e844fa4d

characterization of until in terms of strong until (and vice versa)…
1d19e844fa4d
Actions

Tags

None

Subscribers

None

Description

characterization of until in terms of strong until (and vice versa), contributed by Michael Foster

Details

Provenance

Authored on

Parents

rISABELLE9b531e611d66: merged

Branches

Unknown

Tags

Unknown

Event Timeline

traytel committed rISABELLE1d19e844fa4d: characterization of until in terms of strong until (and vice versa)….Nov 6 2019, 9:25 AM

Changes (1)

Path

Size

src/

HOL/

Library/

Linear_Temporal_Logic_on_Streams.thy

rISABELLE1d19e844fa4d

src/HOL/Library/Linear_Temporal_Logic_on_Streams.thy

Loading...