Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. only recognize maps if the type names match
  2. robustness
Changeset 64559:abd9a9fd030b by blanchet:
only recognize maps if the type names match
The file was modified src/HOL/Tools/BNF/bnf_gfp_grec_sugar.ML (diff)
Changeset 64558:63c76802ab5e by blanchet:
robustness
The file was modified src/HOL/Tools/BNF/bnf_gfp_grec_sugar_util.ML (diff)