Summary
- removed some lemma duplicates
- typo
- more appropriate notion of emptiness
The file was modified | NEWS (diff) |
The file was modified | src/HOL/Divides.thy (diff) |
The file was modified | src/HOL/Groebner_Basis.thy (diff) |
The file was modified | src/HOL/Presburger.thy (diff) |
The file was modified | src/HOL/Transcendental.thy (diff) |
The file was modified | src/HOL/Tools/string_syntax.ML (diff) |
The file was modified | src/Pure/Isar/class.ML (diff) |