Diffusion Isabelle 049a71febf05

proper structural equality;
049a71febf05
Actions

Tags

None

Subscribers

None

Description

proper structural equality;

Details

Provenance

Authored on

Parents

rISABELLE5a6f7212fc4d: more explicit types;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE049a71febf05: proper structural equality;.Nov 27 2020, 7:56 PM

Changes (1)

Path

Size

src/

Pure/

General/

rISABELLE049a71febf05

src/Pure/General/path.scala

Loading...