Porting note: added to clean up types

[pitmonticone]

Classifies porting notes claiming added to clean up types.

Examples

mathlib4/Mathlib/Computability/TuringMachine.lean

Line 1031 in 4c3321a

local notation "Stmt₀" => Stmt Γ -- Porting note: Added this to clean up types.

mathlib4/Mathlib/Computability/TuringMachine.lean

Line 1051 in 4c3321a

local notation "Machine₀" => Machine Γ Λ -- Porting note: Added this to clean up types.

mathlib4/Mathlib/Computability/TuringMachine.lean

Line 1067 in 4c3321a

local notation "Cfg₀" => Cfg Γ Λ -- Porting note: Added this to clean up types.

[vihdzp]

All of these issues seem to have been tied to the same Turing machine file which has been cleaned up in #20821, so I'm closing this.