Diffusion Isabelle 07e2cafcc97e

more operations;
07e2cafcc97e
Actions

Tags

None

Subscribers

None

Description

more operations;

Details

Provenance

Authored on

Parents

rISABELLE7969fa41439b: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE07e2cafcc97e: more operations;.Sat, Mar 18, 8:23 PM

Changes (1)

Path

Size

src/

Pure/

General/

rISABELLE07e2cafcc97e

src/Pure/General/space.scala

Loading...