Diffusion Isabelle 6d01eca49b34

clarified signature default;
6d01eca49b34
Actions

Tags

None

Subscribers

None

Description

clarified signature default;

Details

Provenance

Authored on

Parents

rISABELLE006214c581ee: more operations for type classes;

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLE6d01eca49b34: clarified signature default;.Oct 12 2019, 10:18 PM

Changes (1)

Path

Size

src/

Pure/

rISABELLE6d01eca49b34

src/Pure/term.scala

Loading...