Summary
- clarified;
- clarified syntax;
- spelling;
The file was modified | src/Doc/Isar_Ref/Quick_Reference.thy (diff) |
The file was modified | src/Doc/Isar_Ref/HOL_Specific.thy (diff) |
The file was modified | src/Doc/Isar_Ref/Outer_Syntax.thy (diff) |
The file was modified | src/Doc/Isar_Ref/Proof.thy (diff) |
The file was modified | src/Doc/Isar_Ref/Quick_Reference.thy (diff) |
The file was modified | src/Doc/Isar_Ref/Spec.thy (diff) |
The file was modified | src/HOL/HOLCF/Tools/fixrec.ML (diff) |
The file was modified | src/HOL/Library/rewrite.ML (diff) |
The file was modified | src/HOL/Nominal/nominal_primrec.ML (diff) |
The file was modified | src/HOL/Tools/BNF/bnf_gfp_grec_sugar.ML (diff) |
The file was modified | src/HOL/Tools/BNF/bnf_gfp_rec_sugar.ML (diff) |
The file was modified | src/HOL/Tools/Function/partial_function.ML (diff) |
The file was modified | src/HOL/Tools/inductive.ML (diff) |
The file was modified | src/Pure/Isar/parse.ML (diff) |
The file was modified | src/Pure/Isar/parse_spec.ML (diff) |
The file was modified | src/Pure/Pure.thy (diff) |
The file was modified | NEWS (diff) |