Diffusion Isabelle d3ededaa77b3

added "isabelle phabricator";
d3ededaa77b3
Actions

Tags

None

Subscribers

None

Description

added "isabelle phabricator";

Details

Provenance

Authored on

Parents

rISABELLEa197532693a5: bit shifts as class operations

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLEd3ededaa77b3: added "isabelle phabricator";.Nov 11 2019, 11:49 AM

Changes (2)

Path

Size

src/

Pure/

System/

isabelle_tool.scala

Tools/

phabricator.scala

rISABELLEd3ededaa77b3

src/Pure/System/isabelle_tool.scala

Loading...

src/Pure/Tools/phabricator.scala

Loading...