Diffusion Isabelle cb70d84a9f5e

more compact XML representation;
cb70d84a9f5e
Actions

Tags

None

Subscribers

None

Description

more compact XML representation;

Details

Provenance

Authored on

Parents

rISABELLE730251503341: proper generalize_proof: schematic variables need to be explicit in the…

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLEcb70d84a9f5e: more compact XML representation;.Oct 10 2019, 4:51 PM

Changes (4)

Path

Size

src/

Pure/

PIDE/

rISABELLEcb70d84a9f5e

src/Pure/PIDE/xml.ML

Loading...

src/Pure/PIDE/xml.scala

Loading...

src/Pure/term_xml.ML

Loading...

src/Pure/term_xml.scala

Loading...