Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merge
  2. generalized code (towards nonuniform datatypes)
Changeset 64608:20ccca53dd73 by blanchet:
merge
Changeset 64607:20f3dbfe4b24 by blanchet:
generalized code (towards nonuniform datatypes)
The file was modified src/HOL/Tools/BNF/bnf_fp_def_sugar.ML (diff)
The file was modified src/HOL/Tools/BNF/bnf_fp_def_sugar_tactics.ML (diff)