Diffusion Isabelle 65cdd08bd7fd

updated imports;
65cdd08bd7fd
Actions

Tags

None

Subscribers

None

Description

updated imports;

Details

Provenance

Authored on

Parents

rISABELLEda5fcc0f6c52: proper signature;

Branches

Unknown

Tags

Unknown

Event Timeline

Changes (2)

Path

Size

doc-src/

IsarRef/

Thy/

HOL_Specific.thy

document/

HOL_Specific.tex

rISABELLE65cdd08bd7fd

doc-src/IsarRef/Thy/HOL_Specific.thy

Loading...

doc-src/IsarRef/Thy/document/HOL_Specific.tex

Loading...