Diffusion Isabelle 8d7394e533f8

tuned whitespace;
8d7394e533f8
Actions

Tags

None

Subscribers

None

Description

tuned whitespace;

Details

Provenance

Authored on

Parents

rISABELLEb96b73a79da3: more robust: "hostname" command might be absent, notably on Arch Linux (and…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE8d7394e533f8: tuned whitespace;.Wed, Aug 30, 4:57 PM

Changes (1)

Path

Size

src/

HOL/

Examples/

rISABELLE8d7394e533f8

src/HOL/Examples/Records.thy

Loading...