clarified signature -- avoid clones;
ccf599864beb
Actions

Description

clarified signature -- avoid clones;

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (4)

Path

Size

src/

HOL/

Tools/

BNF/

Predicate_Compile/

Pure/

Isar/

rISABELLEccf599864beb

src/HOL/Tools/BNF/bnf_comp.ML

src/HOL/Tools/Predicate_Compile/predicate_compile_pred.ML

src/Pure/Isar/local_defs.ML

clarified signature -- avoid clones;ccf599864bebActions

Description

Details

Changes (4)

rISABELLEccf599864beb

src/HOL/Tools/BNF/bnf_comp.ML

src/HOL/Tools/Predicate_Compile/predicate_compile_pred.ML

src/Pure/Isar/local_defs.ML

src/Pure/envir.ML

clarified signature -- avoid clones;
ccf599864beb
Actions