Diffusion Isabelle c642c3cbbf0e

more documentation on "Conversions";
c642c3cbbf0e
Actions

Tags

None

Subscribers

None

Description

more documentation on "Conversions";

Details

Provenance

Authored on

Parents

rISABELLEc1f8aaa13ee3: tuned

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEc642c3cbbf0e: more documentation on "Conversions";.Apr 19 2021, 9:57 PM

Changes (1)

Path

Size

src/

Doc/

Implementation/

rISABELLEc642c3cbbf0e

src/Doc/Implementation/Eq.thy

Loading...