Diffusion Isabelle abe3c309998b

proper option;
abe3c309998b
Actions

Tags

None

Subscribers

None

Description

proper option;

Details

Provenance

Authored on

Parents

rISABELLE95a4db22b70f: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEabe3c309998b: proper option;.Mar 7 2020, 12:14 PM

Changes (1)

Path

Size

src/

Doc/

System/

rISABELLEabe3c309998b

src/Doc/System/Scala.thy

Loading...