This package contains classes to pretty-print ASM terms and ASM rules. The class {@link de.uka.ilkd.asmkey.pp.AsmNotationInfo} replaces the class {@link de.uka.ilkd.key.gui.NotationInfo} and adds support for ASM terms and rules.