Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned headers;
  2. clarified session: use all theories in directory HOL/Library;
  3. clarified session; misc tuning and modernization;
  4. more careful quoting, e.g. relevant for \<^control>cartouche;
  5. uniform capitalization of labels;
Changeset 63764:f3ad26c4b2d9 by wenzelm:
tuned headers;
The file was modified src/HOL/Library/Polynomial_Factorial.thy (diff)
The file was modified src/HOL/Library/Predicate_Compile_Alternative_Defs.thy (diff)
The file was modified src/HOL/Library/Predicate_Compile_Quickcheck.thy (diff)
Changeset 63763:0f61ea70d384 by wenzelm:
clarified session: use all theories in directory HOL/Library;
The file was modified src/HOL/ROOT (diff)
Changeset 63762:6920b1885eff by wenzelm:
clarified session;<br>misc tuning and modernization;
The file was addedsrc/HOL/Library/Type_Length.thy
The file was modified src/HOL/Library/Library.thy (diff)
The file was modified src/HOL/Library/Saturated.thy (diff)
The file was modified src/HOL/Word/Word.thy (diff)
The file was removedsrc/HOL/Word/Type_Length.thy
Changeset 63761:2ca536d0163e by wenzelm:
more careful quoting, e.g. relevant for \&lt;^control&gt;cartouche;
The file was modified src/Pure/General/completion.scala (diff)
Changeset 63760:b1088b1e3b7e by wenzelm:
uniform capitalization of labels;
The file was modified src/Tools/jEdit/src/jEdit.props (diff)