Diffusion Isabelle f9c758208298

tighter check to ensure that patterns remain left-linear, previous…
f9c758208298
Actions

Tags

None

Subscribers

None

Description

tighter check to ensure that patterns remain left-linear, previous implementation was overcautious

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLE528768bc7bd0: tuned

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLEf9c758208298: tighter check to ensure that patterns remain left-linear, previous….Mar 29 2022, 8:02 AM

Changes (1)

Path

Size

src/

Tools/

Code/

code_thingol.ML

rISABELLEf9c758208298

src/Tools/Code/code_thingol.ML

Loading...