Diffusion Isabelle 16fab31feadc

avoid failure of "isabelle build -o skip_proofs";
16fab31feadc
Actions

Tags

None

Subscribers

None

Description

avoid failure of "isabelle build -o skip_proofs";

Details

Provenance

Authored on

Parents

rISABELLEae683a461c40: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE16fab31feadc: avoid failure of "isabelle build -o skip_proofs";.Aug 7 2020, 11:46 AM

Changes (1)

Path

Size

src/

HOL/

Data_Structures/

rISABELLE16fab31feadc

src/HOL/Data_Structures/AVL_Set.thy

Loading...