Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. union associates to the left
Changeset 63862:ce05cc93e07b by blanchet:
union associates to the left
The file was modified src/HOL/Tools/BNF/bnf_def.ML (diff)
The file was modified src/HOL/Tools/BNF/bnf_fp_def_sugar.ML (diff)