Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. extended ML signature + refactored
  2. extended ML signature
  3. generalized code (subtly)
Changeset 63801:83841a5c0897 by blanchet:
extended ML signature + refactored
The file was modified src/HOL/Tools/BNF/bnf_fp_rec_sugar_transfer.ML (diff)
The file was modified src/HOL/Tools/BNF/bnf_gfp_grec_sugar.ML (diff)
Changeset 63800:6489d85ecc98 by blanchet:
extended ML signature
The file was modified src/HOL/Tools/BNF/bnf_comp.ML (diff)
The file was modified src/HOL/Tools/BNF/bnf_gfp_grec.ML (diff)
Changeset 63799:737d424cbac9 by blanchet:
generalized code (subtly)
The file was modified src/HOL/Tools/BNF/bnf_fp_util.ML (diff)