Diffusion Isabelle 3c04a52c422a

tuned comments;
3c04a52c422a
Actions

Tags

None

Subscribers

None

Description

tuned comments;

Details

Provenance

Authored on

Parents

rISABELLEfd82d53c1761: merged

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLE3c04a52c422a: tuned comments;.Nov 8 2019, 8:59 PM

Changes (1)

Path

Size

src/

HOL/

Tools/

rewrite_hol_proof.ML

rISABELLE3c04a52c422a

src/HOL/Tools/rewrite_hol_proof.ML

Loading...