optional cartouche syntax and proper name printing in atp Isar output
2746dfc9ceae
Actions

Description

optional cartouche syntax and proper name printing in atp Isar output

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (6)

Path

Size

src/

HOL/

Tools/

ATP/

Nitpick/

Sledgehammer/

ex/

rISABELLE2746dfc9ceae

src/HOL/Tools/ATP/atp_util.ML

src/HOL/Tools/Nitpick/nitpick.ML

src/HOL/Tools/Nitpick/nitpick_scope.ML

src/HOL/Tools/Nitpick/nitpick_util.ML

src/HOL/Tools/Sledgehammer/sledgehammer_isar_proof.ML

src/HOL/ex/Sketch_and_Explore.thy

optional cartouche syntax and proper name printing in atp Isar output2746dfc9ceaeActions

Description

Details

Changes (6)

rISABELLE2746dfc9ceae

src/HOL/Tools/ATP/atp_util.ML

src/HOL/Tools/Nitpick/nitpick.ML

src/HOL/Tools/Nitpick/nitpick_scope.ML

src/HOL/Tools/Nitpick/nitpick_util.ML

src/HOL/Tools/Sledgehammer/sledgehammer_isar_proof.ML

src/HOL/ex/Sketch_and_Explore.thy

optional cartouche syntax and proper name printing in atp Isar output
2746dfc9ceae
Actions