Diffusion Isabelle 8e0f0317e266

ML antiquotations to instantiate types/terms/props;
8e0f0317e266
Actions

Tags

None

Subscribers

None

Description

ML antiquotations to instantiate types/terms/props;

Details

Provenance

Authored on

Parents

rISABELLE11b8f026d6ce: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE8e0f0317e266: ML antiquotations to instantiate types/terms/props;.Oct 24 2021, 4:38 PM

Changes (3)

Path

Size

src/

Pure/

Isar/

ML/

ml_antiquotations.ML

rISABELLE8e0f0317e266

src/Pure/Isar/keyword.ML

Loading...

src/Pure/ML/ml_antiquotations.ML

Loading...

src/Pure/more_thm.ML

Loading...