Diffusion Isabelle b703cecf9bd0

proper Scala expression;
b703cecf9bd0
Actions

Tags

None

Subscribers

None

Description

proper Scala expression;

Details

Provenance

Authored on

Parents

rISABELLE5979f73b9db1: clarified signature: separate unrelated modules;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEb703cecf9bd0: proper Scala expression;.Sep 13 2022, 9:45 AM

Changes (1)

Path

Size

src/

Pure/

General/

rISABELLEb703cecf9bd0

src/Pure/General/ssh.scala

Loading...