Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. prefer formal text;
  2. prefer formal comments;
  3. prefer formal comments;
Changeset 67409:060efe532189 by wenzelm:
prefer formal text;
The file was modified src/HOL/Library/Going_To_Filter.thy (diff)
Changeset 67408:4a4c14b24800 by wenzelm:
prefer formal comments;
The file was modified src/HOL/Library/Bourbaki_Witt_Fixpoint.thy (diff)
The file was modified src/HOL/Library/DAList_Multiset.thy (diff)
The file was modified src/HOL/Library/Extended_Nonnegative_Real.thy (diff)
The file was modified src/HOL/Library/Extended_Real.thy (diff)
The file was modified src/HOL/Library/FSet.thy (diff)
The file was modified src/HOL/Library/Infinite_Set.thy (diff)
The file was modified src/HOL/Library/Linear_Temporal_Logic_on_Streams.thy (diff)
The file was modified src/HOL/Library/Permutations.thy (diff)
The file was modified src/HOL/Library/RBT_Impl.thy (diff)
The file was modified src/HOL/Library/RBT_Set.thy (diff)
The file was modified src/HOL/Library/Stream.thy (diff)
The file was modified src/HOL/Word/Bits_Int.thy (diff)
The file was modified src/HOL/Word/Bool_List_Representation.thy (diff)
The file was modified src/HOL/Word/Misc_Typedef.thy (diff)
The file was modified src/HOL/Word/Word.thy (diff)
The file was modified src/HOL/Word/Word_Miscellaneous.thy (diff)
Changeset 67407:dbaa38bd223a by wenzelm:
prefer formal comments;
The file was modified src/HOL/SPARK/Examples/RIPEMD-160/RMD.thy (diff)
The file was modified src/HOL/SPARK/Examples/RIPEMD-160/RMD_Specification.thy (diff)
The file was modified src/HOL/SPARK/Examples/RIPEMD-160/Round.thy (diff)