Diffusion Isabelle 23e6eef4e6aa

avoid referring to lemmas by index
23e6eef4e6aa
Actions

Tags

None

Subscribers

None

Description

avoid referring to lemmas by index

Details

Provenance

Authored on

Parents

rISABELLE420359ba6acd: documented reference

Branches

Unknown

Tags

Unknown

Event Timeline

immler committed rISABELLE23e6eef4e6aa: avoid referring to lemmas by index.Oct 27 2019, 5:13 PM

Changes (2)

Path

Size

src/

HOL/

Analysis/

Metric_Arith.thy

rISABELLE23e6eef4e6aa

src/HOL/Analysis/Metric_Arith.thy

Loading...

src/HOL/Analysis/metricarith.ml

Loading...