modernized handling of variables
fa014f31f208
Actions

Description

modernized handling of variables

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (5)

Path

Size

src/

Tools/

Code/

rISABELLEfa014f31f208

src/Tools/Code/code_haskell.ML

src/Tools/Code/code_ml.ML

src/Tools/Code/code_printer.ML

src/Tools/Code/code_scala.ML

src/Tools/Code/code_thingol.ML

modernized handling of variablesfa014f31f208Actions

Description

Details

Changes (5)

rISABELLEfa014f31f208

src/Tools/Code/code_haskell.ML

src/Tools/Code/code_ml.ML

src/Tools/Code/code_printer.ML

src/Tools/Code/code_scala.ML

src/Tools/Code/code_thingol.ML

modernized handling of variables
fa014f31f208
Actions