Diffusion Isabelle b0ea03e837b1

support nested cases;
b0ea03e837b1
Actions

Tags

None

Subscribers

None

Description

support nested cases;

Details

Provenance

Authored on

Parents

rISABELLEe768759ce6c5: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEb0ea03e837b1: support nested cases;.May 2 2021, 5:38 PM

Changes (2)

Path

Size

src/

Pure/

Isar/

proof_context.ML

rISABELLEb0ea03e837b1

NEWS

Loading...

src/Pure/Isar/proof_context.ML

Loading...