Diffusion Isabelle 430e6c477ba4

more operations for lexicographic ordering;
430e6c477ba4
Actions

Tags

None

Subscribers

None

Description

more operations for lexicographic ordering;

Details

Provenance

Authored on

Parents

rISABELLEb83a561086d3: more operations: following Library list operations and Ord_List.T operations;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE430e6c477ba4: more operations for lexicographic ordering;.Apr 23 2023, 9:31 PM

Changes (2)

Path

Size

src/

Pure/

General/

rISABELLE430e6c477ba4

src/Pure/General/set.ML

Loading...

src/Pure/library.ML

Loading...