Diffusion Isabelle 1f30aa91f496

more correct transfer
1f30aa91f496
Actions

Tags

None

Subscribers

None

Description

more correct transfer

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLEe4fd3989554d: merged

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLE1f30aa91f496: more correct transfer.Jan 11 2022, 7:47 AM

Changes (1)

Path

Size

src/

Pure/

Isar/

rISABELLE1f30aa91f496

src/Pure/Isar/code.ML

Loading...