Diffusion Isabelle c301b97b4301

more explicit types;
c301b97b4301
Actions

Tags

None

Subscribers

None

Description

more explicit types;

Details

Provenance

Authored on

Parents

rISABELLE6f2ddbff972c: prefer typed/strict operations;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEc301b97b4301: more explicit types;.Jan 27 2023, 4:49 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_log.scala

rISABELLEc301b97b4301

src/Pure/Admin/build_log.scala

Loading...