Diffusion Isabelle 18eb7ec2720f

Tuned indentation
18eb7ec2720f
Actions

Tags

None

Subscribers

None

Description

Tuned indentation

Details

Provenance

Authored on

Parents

rISABELLE4ea19e5dc67e: Tuned isar_step datatype

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLE18eb7ec2720f: Tuned indentation.Nov 12 2020, 11:00 AM

Changes (2)

Path

Size

src/

HOL/

Tools/

Sledgehammer/

sledgehammer_isar.ML

sledgehammer_isar_proof.ML

rISABELLE18eb7ec2720f

src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_isar_proof.ML

Loading...