fact: Definition toggle_marked (s : sigTape sig) : sigTape sig := match s with | UnmarkedSymbol s => MarkedSymbol s | MarkedSymbol s => UnmarkedSymbol s | LeftBlank b => LeftBlank (negb b) | RightBlank b => RightBlank (negb b) | NilBlank => NilBlank end.
imports: Undecidability.TM.Basic.Mono Undecidability.TM.Combinators.Combinators Undecidability.TM.Code.Code Undecidability.TM.Single.EncodeTapes Undecidability.TM.Compound(TMTac MoveToSymbol Multi Shift)