Summary
- merged
- misc tuning and modernization;
- proper signature;
- tuned signature;
The file was modified | src/HOL/Finite_Set.thy (diff) |
The file was modified | src/HOL/Relation.thy (diff) |
The file was modified | src/HOL/Transitive_Closure.thy (diff) |
The file was modified | src/Doc/Implementation/Local_Theory.thy (diff) |
The file was modified | src/Doc/Implementation/Local_Theory.thy (diff) |
The file was modified | src/HOL/Statespace/state_space.ML (diff) |
The file was modified | src/Pure/Isar/class_declaration.ML (diff) |
The file was modified | src/Pure/Isar/expression.ML (diff) |
The file was modified | src/Pure/Isar/interpretation.ML (diff) |
The file was modified | src/Pure/Isar/named_target.ML (diff) |