Diffusion Isabelle acee6c7fafff

proper Thm.trim_context / Thm.transfer (see also 0d401f874942);
acee6c7fafff
Actions

Tags

None

Subscribers

None

Description

proper Thm.trim_context / Thm.transfer (see also 0d401f874942);

Details

Provenance

Authored on

Parents

rISABELLEe7fd273657f1: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEacee6c7fafff: proper Thm.trim_context / Thm.transfer (see also 0d401f874942);.Apr 21 2023, 9:26 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

rISABELLEacee6c7fafff

src/Pure/Tools/named_thms.ML

Loading...