Diffusion afp-devel 72313706f65d

Updated references.
72313706f65d
Actions

Tags

None

Subscribers

None

Description

Updated references.

Details

Provenance

florian.haftmann

Authored on

Parents

rAFPce0774eaa992: More correct references.

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rAFP72313706f65d: Updated references..Jan 26 2023, 3:15 PM

Changes (1)

Path

Size

thys/

Van_Emde_Boas_Trees/

Imperative_HOL_Time/

rAFP72313706f65d

thys/Van_Emde_Boas_Trees/Imperative_HOL_Time/Ref_Time.thy

Loading...