Diffusion Isabelle 5905c7f484b3

clarified signature: read_theory_exports is already ordered;
5905c7f484b3
Actions

Tags

None

Subscribers

None

Description

clarified signature: read_theory_exports is already ordered;

Details

Provenance

Authored on

Parents

rISABELLE900b76040211: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE5905c7f484b3: clarified signature: read_theory_exports is already ordered;.Jul 8 2022, 8:06 PM

Changes (2)

Path

Size

src/

Pure/

Thy/

Tools/

server_commands.scala

rISABELLE5905c7f484b3

src/Pure/Thy/export.scala

Loading...

src/Pure/Tools/server_commands.scala

Loading...