Diffusion Isabelle fd9734380709

more readable string literals;
fd9734380709
Actions

Tags

None

Subscribers

None

Description

more readable string literals;

Details

Provenance

Authored on

Parents

rISABELLE884dbbc8e1b3: avoid duplicate fact error on global_interpretation of residues

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEfd9734380709: more readable string literals;.Aug 25 2022, 11:24 AM

Changes (1)

Path

Size

src/

Pure/

System/

rISABELLEfd9734380709

src/Pure/System/java.ML

Loading...