Diffusion Isabelle 8cf14d4ebec4

more uniform exports: proper encoding of empty parents for Pure;
8cf14d4ebec4
Actions

Tags

None

Subscribers

None

Description

more uniform exports: proper encoding of empty parents for Pure;

Details

Provenance

Authored on

Parents

rISABELLE985c3a64748c: clarified signature: more uniform treatment of empty exports;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE8cf14d4ebec4: more uniform exports: proper encoding of empty parents for Pure;.Aug 5 2022, 2:05 PM

makarius mentioned this in rISABELLE657b2de27454: clarified signature: avoid confusing operation name (amending 8cf14d4ebec4);.Aug 14 2022, 7:07 PM

Changes (3)

Path

Size

src/

Pure/

Thy/

export_theory.ML

export_theory.scala

rISABELLE8cf14d4ebec4

src/Pure/Thy/export_theory.ML

Loading...

src/Pure/Thy/export_theory.scala

Loading...

src/Pure/library.ML

Loading...