prefer build combinator
05f7f5454cb6
Actions

Description

prefer build combinator

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (7)

Path

Size

src/

Pure/

Isar/

Tools/

Code/

rISABELLE05f7f5454cb6

src/Pure/Isar/code.ML

src/Tools/Code/code_namespace.ML

src/Tools/Code/code_preproc.ML

src/Tools/Code/code_printer.ML

src/Tools/Code/code_runtime.ML

src/Tools/Code/code_scala.ML

src/Tools/Code/code_thingol.ML

prefer build combinator05f7f5454cb6Actions

Description

Details

Changes (7)

rISABELLE05f7f5454cb6

src/Pure/Isar/code.ML

src/Tools/Code/code_namespace.ML

src/Tools/Code/code_preproc.ML

src/Tools/Code/code_printer.ML

src/Tools/Code/code_runtime.ML

src/Tools/Code/code_scala.ML

src/Tools/Code/code_thingol.ML

prefer build combinator
05f7f5454cb6
Actions