Diffusion Isabelle c49362e85f5a

proper ML types (amending 1aa92bc4d356);
c49362e85f5a
Actions

Tags

None

Subscribers

None

Description

proper ML types (amending 1aa92bc4d356);

Details

Provenance

Authored on

Parents

rISABELLE74a800810bde: proper types for Scala.Fun instances (amending 1aa92bc4d356);

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEc49362e85f5a: proper ML types (amending 1aa92bc4d356);.Dec 7 2021, 10:11 PM

Changes (1)

Path

Size

src/

Doc/

System/

rISABELLEc49362e85f5a

src/Doc/System/Scala.thy

Loading...