Diffusion Isabelle 6ab4a5fb82e1

clarified signature: allow compound arg;
6ab4a5fb82e1
Actions

Tags

None

Subscribers

None

Description

clarified signature: allow compound arg;

Details

Provenance

Authored on

Parents

rISABELLE730090397e0d: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLE6ab4a5fb82e1: clarified signature: allow compound arg;.Nov 14 2019, 1:40 PM

Changes (1)

Path

Size

src/

Pure/

System/

isabelle_system.scala

rISABELLE6ab4a5fb82e1

src/Pure/System/isabelle_system.scala

Loading...