equal
deleted
inserted
replaced
26 \newcommand{\isasymDEFINES}{\cmd{defines}} |
26 \newcommand{\isasymDEFINES}{\cmd{defines}} |
27 \newcommand{\isasymNOTES}{\cmd{notes}} |
27 \newcommand{\isasymNOTES}{\cmd{notes}} |
28 \newcommand{\isasymSHOWS}{\cmd{shows}} |
28 \newcommand{\isasymSHOWS}{\cmd{shows}} |
29 \newcommand{\isasymCLASS}{\cmd{class}} |
29 \newcommand{\isasymCLASS}{\cmd{class}} |
30 \newcommand{\isasymINSTANCE}{\cmd{instance}} |
30 \newcommand{\isasymINSTANCE}{\cmd{instance}} |
|
31 \newcommand{\isasymINSTANTIATION}{\cmd{instantiation}} |
31 \newcommand{\isasymLEMMA}{\cmd{lemma}} |
32 \newcommand{\isasymLEMMA}{\cmd{lemma}} |
32 \newcommand{\isasymPROOF}{\cmd{proof}} |
33 \newcommand{\isasymPROOF}{\cmd{proof}} |
33 \newcommand{\isasymQED}{\cmd{qed}} |
34 \newcommand{\isasymQED}{\cmd{qed}} |
34 \newcommand{\isasymFIX}{\cmd{fix}} |
35 \newcommand{\isasymFIX}{\cmd{fix}} |
35 \newcommand{\isasymASSUME}{\cmd{assume}} |
36 \newcommand{\isasymASSUME}{\cmd{assume}} |