Diffusion Isabelle 5972799988af

clone of 0c51e0a6bc37;
5972799988af
Actions

Tags

None

Subscribers

None

Description

clone of 0c51e0a6bc37;

Details

Provenance

Authored on

Parents

rISABELLEbc450c8754ef: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE5972799988af: clone of 0c51e0a6bc37;.Sat, Apr 20, 4:07 PM

Changes (1)

Path

Size

src/

HOL/

ex/

Sketch_and_Explore.thy

rISABELLE5972799988af

src/HOL/ex/Sketch_and_Explore.thy

Loading...