Diffusion Isabelle 247751d25102

canonical time function for List.nth
247751d25102
Actions

Tags

None

Subscribers

None

Description

canonical time function for List.nth

Details

Provenance

Authored on

Parents

rISABELLE693d4e6cc5b8: merged

Branches

Unknown

Tags

Unknown

Event Timeline

pruvisto committed rISABELLE247751d25102: canonical time function for List.nth.Tue, Apr 16, 1:29 PM

Changes (2)

Path

Size

src/

HOL/

Data_Structures/

rISABELLE247751d25102

src/HOL/Data_Structures/Selection.thy

Loading...

src/HOL/Data_Structures/Time_Funs.thy

Loading...