Diffusion Isabelle a6a81f848135

More explicit type information in dictionary arguments.
a6a81f848135
Actions

Tags

None

Subscribers

None

Description

More explicit type information in dictionary arguments.

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLE596452389ad0: tuned

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLEa6a81f848135: More explicit type information in dictionary arguments..Mar 24 2023, 7:30 PM

Changes (4)

Path

Size

src/

Tools/

Code/

code_thingol.ML

rISABELLEa6a81f848135

src/Tools/Code/code_ml.ML

Loading...

src/Tools/Code/code_scala.ML

Loading...

src/Tools/Code/code_thingol.ML

Loading...

src/Tools/nbe.ML

Loading...