Diffusion Isabelle 4dfb7c937126

more operations;
4dfb7c937126
Actions

Tags

None

Subscribers

None

Description

more operations;

Details

Provenance

Authored on

Parents

rISABELLE35e465677a26: merged

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLE4dfb7c937126: more operations;.Dec 3 2019, 3:59 PM

Changes (1)

Path

Size

src/

Pure/

rISABELLE4dfb7c937126

src/Pure/term.scala

Loading...