Diffusion Isabelle 2f4cb9cb087f

tuned --- clarified corner cases;
2f4cb9cb087f
Actions

Tags

None

Subscribers

None

Description

tuned --- clarified corner cases;

Details

Provenance

Authored on

Parents

rISABELLE00ef0f401a29: more uniform use of Properties.Eq.unapply, with slightly changed semantics in…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE2f4cb9cb087f: tuned --- clarified corner cases;.May 17 2021, 3:01 PM

Changes (1)

Path

Size

src/

Pure/

System/

isabelle_system.scala

rISABELLE2f4cb9cb087f

src/Pure/System/isabelle_system.scala

Loading...