Diffusion Isabelle b7a74a04ae4e

extracted selector function, restoring code generation for let expressions
b7a74a04ae4e
Actions

Tags

None

Subscribers

None

Description

extracted selector function, restoring code generation for let expressions

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLEd06547c72775: streamlined

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLEb7a74a04ae4e: extracted selector function, restoring code generation for let expressions.Mar 24 2022, 5:34 PM

Changes (1)

Path

Size

src/

Tools/

Code/

code_thingol.ML

rISABELLEb7a74a04ae4e

src/Tools/Code/code_thingol.ML

Loading...