Session Canonicalizations

Theories

• Common
• AbsPhase
• AddPhase
• AndPhase
• BinaryNode
• ConditionalPhase
• MulPhase
• NewAnd
• NotPhase
• OrPhase
• ShiftPhase
• SignedDivPhase
• SignedRemPhase
• SubPhase
• XorPhase
• NegatePhase
• TacticSolving
• ProofStatus