Diffusion Isabelle 864fade05842

simpler inductions
864fade05842
Actions

Tags

None

Subscribers

None

Description

simpler inductions

Details

Provenance

Authored on

Parents

rISABELLEe9df7895e331: comment makes no sense

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rISABELLE864fade05842: simpler inductions.May 24 2020, 8:20 AM

Changes (1)

Path

Size

src/

HOL/

Data_Structures/

rISABELLE864fade05842

src/HOL/Data_Structures/Balance.thy

Loading...