Diffusion Isabelle 29654a8e9374

merged
29654a8e9374
Actions

Tags

None

Subscribers

None

Description

merged

Details

Provenance

Authored on

Parents

rISABELLE5c1c4f537ae8: NEWS;
rISABELLEd32201f08e98: added lemma map_mono_strict_suffix

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE29654a8e9374: merged.Jun 21 2022, 11:36 PM

Merged Changes

d32201f08e98 added lemma map_mono_strict_suffix
Author
desharna
Browse Repository
No Builds
No Audits

Changes (15)

Path

Size

src/

Pure/

General/

PIDE/

byte_message.ML

protocol_command.ML

System/

isabelle_process.ML

isabelle_system.ML

rISABELLE29654a8e9374

NEWS

Loading...

src/Pure/General/buffer.ML

Loading...

src/Pure/General/bytes.ML

Loading...

src/Pure/General/bytes.scala

Loading...

src/Pure/General/file.ML

Loading...

src/Pure/General/socket_io.ML

Loading...

src/Pure/PIDE/byte_message.ML

Loading...

src/Pure/PIDE/command.ML

Loading...

src/Pure/PIDE/protocol_command.ML

Loading...

src/Pure/ROOT.ML

Loading...

src/Pure/System/isabelle_process.ML

Loading...

src/Pure/System/isabelle_system.ML

Loading...

src/Pure/System/scala.ML

Loading...

src/Pure/System/scala.scala

Loading...

src/Pure/library.ML

Loading...