Diffusion Isabelle abc878973216

clarified antiquotation;
abc878973216
Actions

Tags

None

Subscribers

None

Description

clarified antiquotation;

Details

Provenance

Authored on

Parents

rISABELLE9a9326a072bb: more antiquotations;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEabc878973216: clarified antiquotation;.Sep 11 2021, 10:28 PM

Changes (5)

Path

Size

src/

ZF/

Tools/

datatype_package.ML

inductive_package.ML

rISABELLEabc878973216

src/ZF/Inductive.thy

Loading...

src/ZF/Tools/datatype_package.ML

Loading...

src/ZF/Tools/inductive_package.ML

Loading...

src/ZF/ind_syntax.ML

Loading...

src/ZF/int_arith.ML

Loading...