Diffusion Isabelle bdf77466b6c8

proper syntax declaration
bdf77466b6c8
Actions

Tags

None

Subscribers

None

Description

proper syntax declaration

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLE0f9ebade33ab: merged

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLEbdf77466b6c8: proper syntax declaration.Aug 21 2020, 8:59 PM

Changes (1)

Path

Size

src/

HOL/

Statespace/

rISABELLEbdf77466b6c8

src/HOL/Statespace/state_space.ML

Loading...