Diffusion Isabelle 2dd41a8893aa

type class reduction
2dd41a8893aa
Actions

Tags

None

Subscribers

None

Description

type class reduction

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLE18e760349b86: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLE2dd41a8893aa: type class reduction.Oct 17 2020, 12:32 PM

Changes (1)

Path

Size

src/

HOL/

Analysis/

rISABELLE2dd41a8893aa

src/HOL/Analysis/Affine.thy

Loading...