Diffusion Isabelle 0a4e93250e44

support ML antiquotations with fn abstraction;
0a4e93250e44
Actions

Tags

None

Subscribers

None

Description

support ML antiquotations with fn abstraction;

Details

Provenance

Authored on

Parents

rISABELLE46a0bb3d3a7b: unused;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE0a4e93250e44: support ML antiquotations with fn abstraction;.Sep 19 2021, 9:14 PM

Changes (2)

Path

Size

src/

Pure/

ML/

ml_antiquotations1.ML

rISABELLE0a4e93250e44

NEWS

Loading...

src/Pure/ML/ml_antiquotations1.ML

Loading...