Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified;
  2. clarified syntax;
  3. spelling;
Changeset 63286:ce90bb3d2902 by wenzelm:
clarified;
The file was modified src/Doc/Isar_Ref/Quick_Reference.thy (diff)
Changeset 63285:e9c777bfd78c by wenzelm:
clarified syntax;
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)
Changeset 63284:c20946f5b6fb by wenzelm:
spelling;
The file was modified NEWS (diff)