Diffusion Isabelle 54a7ad860a76

made internal name generation in case expressions more robust
54a7ad860a76
Actions

Tags

None

Subscribers

None

Description

made internal name generation in case expressions more robust

Details

Provenance

Authored on

Parents

rISABELLEd411d5c84a4b: merged

Branches

Unknown

Tags

Unknown

Event Timeline

traytel committed rISABELLE54a7ad860a76: made internal name generation in case expressions more robust.Dec 3 2019, 4:51 PM

Changes (1)

Path

Size

src/

HOL/

Tools/

Ctr_Sugar/

case_translation.ML

rISABELLE54a7ad860a76

src/HOL/Tools/Ctr_Sugar/case_translation.ML

Loading...