Diffusion Isabelle 76095cffcc2b

type class relaxation
76095cffcc2b
Actions

Tags

None

Subscribers

None

Description

type class relaxation

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLE1e5c1f8a35cd: clarified package name (actually both pxfonts and txfonts exist and have this…

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLE76095cffcc2b: type class relaxation.Mar 22 2021, 1:18 PM

Changes (1)

Path

Size

src/

HOL/

Library/

rISABELLE76095cffcc2b

src/HOL/Library/Multiset.thy

Loading...