Diffusion Isabelle ba880f3a4e52

tuned antiquotations;
ba880f3a4e52
Actions

Tags

None

Subscribers

None

Description

tuned antiquotations;

Details

Provenance

Authored on

Parents

rISABELLEe585e5a906ba: more convenient ML arguments: avoid excessive nesting of cartouches;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEba880f3a4e52: tuned antiquotations;.Sep 28 2021, 5:09 PM

Changes (13)

Path

Size

src/

CCL/

FOLP/

HOL/

HOLCF/

Tools/

holcf_library.ML

Hoare/

Tools/

Argo/

Meson/

Transitive_Closure.thy

ZF/

Tools/

inductive_package.ML

rISABELLEba880f3a4e52

src/CCL/Wfd.thy

Loading...

src/FOLP/IFOLP.thy

Loading...

src/HOL/HOLCF/Tools/holcf_library.ML

Loading...

src/HOL/Hoare/hoare_tac.ML

Loading...

src/HOL/Tools/Argo/argo_real.ML

Loading...

src/HOL/Tools/Argo/argo_tactic.ML

Loading...

src/HOL/Tools/Meson/meson.ML

Loading...

src/HOL/Transitive_Closure.thy

Loading...

src/HOL/Typerep.thy

Loading...

src/ZF/Tools/inductive_package.ML

Loading...

src/ZF/Tools/typechk.ML

Loading...

src/ZF/arith_data.ML

Loading...

src/ZF/ind_syntax.ML

Loading...