Diffusion Isabelle 942cc80ba18a

unused -- clone of Option.apply;
942cc80ba18a
Actions

Tags

None

Subscribers

None

Description

unused -- clone of Option.apply;

Details

Provenance

Authored on

Parents

rISABELLE820cf124dced: added "isabelle scala_project" to support e.g. IntelliJ IDEA;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE942cc80ba18a: unused -- clone of Option.apply;.Jan 15 2020, 4:18 PM

Changes (2)

Path

Size

src/

Pure/

rISABELLE942cc80ba18a

src/Pure/ROOT.scala

Loading...

src/Pure/library.scala

Loading...