Diffusion Isabelle 7506cb70ecfb

Add subgoals variant of 'sketch' command
7506cb70ecfb
Actions

Tags

None

Subscribers

None

Description

Add subgoals variant of 'sketch' command

Details

Provenance

Simon Wimmer <wimmers@in.tum.de>

Authored on

Parents

rISABELLEc111785fd640: merged

Branches

Unknown

Tags

Unknown

Event Timeline

Simon Wimmer <wimmers@in.tum.de> committed rISABELLE7506cb70ecfb: Add subgoals variant of 'sketch' command.Sat, Apr 13, 10:22 AM

Changes (1)

Path

Size

src/

HOL/

ex/

Sketch_and_Explore.thy

rISABELLE7506cb70ecfb

src/HOL/ex/Sketch_and_Explore.thy

Loading...