Diffusion Isabelle 2f7da37bab52

more permissive string fields;
2f7da37bab52
Actions

Tags

None

Subscribers

None

Description

more permissive string fields;

Details

Provenance

Authored on

Parents

rISABELLE9687209ce8cb: tuned proof (by Thomas Sewell)

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE2f7da37bab52: more permissive string fields;.Dec 18 2019, 3:10 PM

Changes (1)

Path

Size

src/

Pure/

General/

rISABELLE2f7da37bab52

src/Pure/General/json.scala

Loading...