Summary
- tuned headers;
- clarified session: use all theories in directory HOL/Library;
- clarified session; misc tuning and modernization;
- more careful quoting, e.g. relevant for \<^control>cartouche;
- uniform capitalization of labels;
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) |
The file was modified | src/HOL/ROOT (diff) |
The file was added | src/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 removed | src/HOL/Word/Type_Length.thy |
The file was modified | src/Pure/General/completion.scala (diff) |
The file was modified | src/Tools/jEdit/src/jEdit.props (diff) |