Summary
- merged
- complete on long name components as well;
- added command 'alias' and 'type_alias';
- tuned;
- tuned signature;
- unused;
The file was modified | src/Pure/General/name_space.ML (diff) |
The file was modified | NEWS (diff) |
The file was modified | src/Doc/Isar_Ref/Spec.thy (diff) |
The file was modified | src/HOL/BNF_Greatest_Fixpoint.thy (diff) |
The file was modified | src/Pure/Isar/specification.ML (diff) |
The file was modified | src/Pure/Pure.thy (diff) |
The file was modified | src/Pure/General/name_space.ML (diff) |
The file was modified | src/Pure/Isar/local_theory.ML (diff) |
The file was modified | src/Pure/Isar/proof_context.ML (diff) |
The file was modified | src/Pure/Isar/local_theory.ML (diff) |
The file was modified | src/Pure/Isar/proof_context.ML (diff) |
The file was modified | src/Pure/sign.ML (diff) |
The file was modified | src/Pure/type.ML (diff) |