Changes

Summary

empty -> Map.empty
Map.empty now qualified to avoid name clashes

Changeset 68451:c34aa23a1fb6 by nipkow: empty -> Map.empty
The file was modified	`src/HOL/Bali/AxCompl.thy` (diff)
The file was modified	`src/HOL/Bali/AxSem.thy` (diff)
The file was modified	`src/HOL/Bali/AxSound.thy` (diff)
The file was modified	`src/HOL/Bali/Conform.thy` (diff)
The file was modified	`src/HOL/Bali/DeclConcepts.thy` (diff)
The file was modified	`src/HOL/Bali/DefiniteAssignmentCorrect.thy` (diff)
The file was modified	`src/HOL/Bali/Eval.thy` (diff)
The file was modified	`src/HOL/Bali/Evaln.thy` (diff)
The file was modified	`src/HOL/Bali/Example.thy` (diff)
The file was modified	`src/HOL/Bali/State.thy` (diff)
The file was modified	`src/HOL/Bali/Table.thy` (diff)
The file was modified	`src/HOL/Bali/TypeSafe.thy` (diff)
The file was modified	`src/HOL/Bali/WellForm.thy` (diff)
The file was modified	`src/HOL/Hoare/Separation.thy` (diff)
The file was modified	`src/HOL/IMP/Fold.thy` (diff)
The file was modified	`src/HOL/MicroJava/Comp/AuxLemmas.thy` (diff)
The file was modified	`src/HOL/MicroJava/Comp/CorrCompTp.thy` (diff)
The file was modified	`src/HOL/MicroJava/Comp/DefsComp.thy` (diff)
The file was modified	`src/HOL/MicroJava/J/Example.thy` (diff)
The file was modified	`src/HOL/MicroJava/J/Exceptions.thy` (diff)
The file was modified	`src/HOL/MicroJava/J/JListExample.thy` (diff)
The file was modified	`src/HOL/MicroJava/J/TypeRel.thy` (diff)
The file was modified	`src/HOL/MicroJava/J/WellForm.thy` (diff)
The file was modified	`src/HOL/NanoJava/Example.thy` (diff)
The file was modified	`src/HOL/NanoJava/State.thy` (diff)
The file was modified	`src/HOL/NanoJava/TypeRel.thy` (diff)
The file was modified	`src/HOL/Unix/Unix.thy` (diff)
Changeset 68450:41de07c7a0f3 by nipkow: Map.empty now qualified to avoid name clashes
The file was modified	`NEWS` (diff)
The file was modified	`src/HOL/Library/RBT_Impl.thy` (diff)
The file was modified	`src/HOL/Map.thy` (diff)