Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. export more ML functions
  2. generalized ML signature
Changeset 63803:761f81af2458 by blanchet:
export more ML functions
The file was modified src/HOL/Tools/BNF/bnf_fp_def_sugar.ML (diff)
Changeset 63802:94336cf98486 by blanchet:
generalized ML signature
The file was modified src/HOL/Tools/BNF/bnf_comp.ML (diff)
The file was modified src/HOL/Tools/BNF/bnf_fp_def_sugar.ML (diff)
The file was modified src/HOL/Tools/BNF/bnf_fp_n2m_sugar.ML (diff)
The file was modified src/HOL/Tools/BNF/bnf_fp_util.ML (diff)