Diffusion Isabelle 86cfb9fa3da8

reorganised sorted_set_of_list
86cfb9fa3da8
Actions

Tags

None

Subscribers

None

Description

reorganised sorted_set_of_list

Details

Provenance

Authored on

Parents

rISABELLE059d2cf529d4: merged

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rISABELLE86cfb9fa3da8: reorganised sorted_set_of_list.May 24 2020, 9:04 AM

Changes (1)

Path

Size

src/

HOL/

rISABELLE86cfb9fa3da8

src/HOL/List.thy

Loading...