Summary
- misc tuning and modernization;
- more antiquotations;
- tuned;
The file was modified | src/HOL/Fun.thy (diff) |
The file was modified | src/HOL/Inductive.thy (diff) |
The file was modified | src/HOL/Product_Type.thy (diff) |
The file was modified | src/HOL/Set.thy (diff) |
The file was modified | src/HOL/Sum_Type.thy (diff) |
The file was modified | src/HOL/Product_Type.thy (diff) |
The file was modified | src/HOL/Tools/BNF/bnf_def.ML (diff) |
The file was modified | src/HOL/Tools/BNF/bnf_def_tactics.ML (diff) |
The file was modified | src/HOL/Tools/BNF/bnf_tactics.ML (diff) |
The file was modified | src/HOL/Tools/BNF/bnf_util.ML (diff) |
The file was modified | src/HOL/Tools/inductive_set.ML (diff) |
The file was modified | src/HOL/Set.thy (diff) |