Diffusion Isabelle 9c19e15c8548

more structural integrity;
9c19e15c8548
Actions

Tags

None

Subscribers

None

Description

more structural integrity;

Details

Provenance

Authored on

Parents

rISABELLE56f96489478c: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius mentioned this in rISABELLEf16067da45ef: avoid capture of inner/outer context and thus reduce heaps sizes by 20..40%….May 22 2023, 8:10 PM

Changes (2)

Path

Size

src/

Pure/

rISABELLE9c19e15c8548

src/Pure/assumption.ML

Loading...

src/Pure/thm.ML

Loading...