Diffusion Isabelle b0b86fead48c

more robust init;
b0b86fead48c
Actions

Tags

None

Subscribers

None

Description

more robust init;

Details

Provenance

Authored on

Parents

rISABELLEbc89bdc65f29: clarified signature: more operations;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEb0b86fead48c: more robust init;.Sat, Nov 11, 8:08 PM

Changes (1)

Path

Size

src/

Pure/

System/

isabelle_system.scala

rISABELLEb0b86fead48c

src/Pure/System/isabelle_system.scala

Loading...