Diffusion Isabelle 4003da7e6a79

updated xml_size;
4003da7e6a79
Actions

Tags

None

Subscribers

None

Description

updated xml_size;

Details

Provenance

Authored on

Parents

rISABELLEc9f5f724abc0: prefer named result;

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLE4003da7e6a79: updated xml_size;.Nov 4 2019, 3:14 PM

Changes (1)

Path

Size

src/

HOL/

Proofs/

ex/

rISABELLE4003da7e6a79

src/HOL/Proofs/ex/XML_Data.thy

Loading...