somehow more clear terminology
6cad6ed2700a
Actions

Description

somehow more clear terminology

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (6)

Path

Size

src/

HOL/

Imperative_HOL/

Tools/

Code/

rISABELLE6cad6ed2700a

src/HOL/Imperative_HOL/Heap_Monad.thy

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

somehow more clear terminology6cad6ed2700aActions

Description

Details

Changes (6)

rISABELLE6cad6ed2700a

src/HOL/Imperative_HOL/Heap_Monad.thy

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

somehow more clear terminology
6cad6ed2700a
Actions