Diffusion Isabelle 420359ba6acd

documented reference
420359ba6acd
Actions

Tags

None

Subscribers

None

Description

documented reference

Details

Provenance

Authored on

Parents

rISABELLEf140135ff375: example applications of the 'metric' decision procedure, by Maximilian…

Branches

Unknown

Tags

Unknown

Event Timeline

immler committed rISABELLE420359ba6acd: documented reference.Oct 27 2019, 5:09 PM

Changes (2)

Path

Size

src/

HOL/

Analysis/

Metric_Arith.thy

document/

rISABELLE420359ba6acd

src/HOL/Analysis/Metric_Arith.thy

Loading...

src/HOL/Analysis/document/root.bib

Loading...