Diffusion Isabelle 64beebac04b8

made 'primcorec' more robust
64beebac04b8
Actions

Tags

None

Subscribers

None

Description

made 'primcorec' more robust

Details

Provenance

Authored on

Parents

rISABELLE5aae99b191eb: performance tuning: more balanced time vs. space tradeoff, notably for datatype…

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rISABELLE64beebac04b8: made 'primcorec' more robust.Apr 27 2023, 4:15 PM

Changes (2)

Path

Size

src/

HOL/

Tools/

BNF/

bnf_gfp_rec_sugar_tactics.ML

rISABELLE64beebac04b8

NEWS

Loading...

src/HOL/Tools/BNF/bnf_gfp_rec_sugar_tactics.ML

Loading...