Summary
- NEWS
- strengthened tactic
- avoid warning triggered by code generator
- strengthened tactic
- prove 'set' property backward
The file was modified | NEWS (diff) |
The file was modified | src/HOL/Tools/BNF/bnf_fp_def_sugar_tactics.ML (diff) |
The file was modified | src/HOL/Tools/BNF/bnf_fp_def_sugar.ML (diff) |
The file was modified | src/HOL/Tools/Ctr_Sugar/ctr_sugar.ML (diff) |
The file was modified | src/HOL/Tools/BNF/bnf_fp_def_sugar_tactics.ML (diff) |
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) |
The file was modified | src/HOL/Tools/BNF/bnf_fp_def_sugar_tactics.ML (diff) |
The file was modified | src/HOL/Tools/BNF/bnf_fp_util.ML (diff) |
The file was modified | src/HOL/Tools/BNF/bnf_util.ML (diff) |