Diffusion Isabelle 935c78a90ee0

more kinds, notably for Isabelle/MMT;
935c78a90ee0
Actions

Tags

None

Subscribers

None

Description

more kinds, notably for Isabelle/MMT;

Details

Provenance

Authored on

Parents

rISABELLE3ed399935d7c: merged

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLE935c78a90ee0: more kinds, notably for Isabelle/MMT;.Oct 20 2019, 12:56 PM

Changes (1)

Path

Size

src/

Pure/

Thy/

export_theory.scala

rISABELLE935c78a90ee0

src/Pure/Thy/export_theory.scala

Loading...