equal
deleted
inserted
replaced
31 \newcommand{\isasymASSUME}{\cmd{assume}} |
31 \newcommand{\isasymASSUME}{\cmd{assume}} |
32 \newcommand{\isasymSHOW}{\cmd{show}} |
32 \newcommand{\isasymSHOW}{\cmd{show}} |
33 \newcommand{\isasymNOTE}{\cmd{note}} |
33 \newcommand{\isasymNOTE}{\cmd{note}} |
34 \newcommand{\isasymIN}{\cmd{in}} |
34 \newcommand{\isasymIN}{\cmd{in}} |
35 \newcommand{\isasymCODEGEN}{\cmd{code\_gen}} |
35 \newcommand{\isasymCODEGEN}{\cmd{code\_gen}} |
|
36 \newcommand{\isasymCODEDATATYPE}{\cmd{code\_datatype}} |
36 \newcommand{\isasymCODECONST}{\cmd{code\_const}} |
37 \newcommand{\isasymCODECONST}{\cmd{code\_const}} |
37 \newcommand{\isasymCODETYPE}{\cmd{code\_type}} |
38 \newcommand{\isasymCODETYPE}{\cmd{code\_type}} |
38 \newcommand{\isasymCODECLASS}{\cmd{code\_class}} |
39 \newcommand{\isasymCODECLASS}{\cmd{code\_class}} |
39 \newcommand{\isasymCODEINSTANCE}{\cmd{code\_instance}} |
40 \newcommand{\isasymCODEINSTANCE}{\cmd{code\_instance}} |
40 \newcommand{\isasymCODERESERVED}{\cmd{code\_reserved}} |
41 \newcommand{\isasymCODERESERVED}{\cmd{code\_reserved}} |
42 \newcommand{\isasymCODEMODULEPROLOG}{\cmd{code\_moduleprolog}} |
43 \newcommand{\isasymCODEMODULEPROLOG}{\cmd{code\_moduleprolog}} |
43 \newcommand{\isasymCODEAXIOMS}{\cmd{code\_axioms}} |
44 \newcommand{\isasymCODEAXIOMS}{\cmd{code\_axioms}} |
44 \newcommand{\isasymCODEABSTYPE}{\cmd{code\_abstype}} |
45 \newcommand{\isasymCODEABSTYPE}{\cmd{code\_abstype}} |
45 \newcommand{\isasymPRINTCODESETUP}{\cmd{print\_codesetup}} |
46 \newcommand{\isasymPRINTCODESETUP}{\cmd{print\_codesetup}} |
46 \newcommand{\isasymCODETHMS}{\cmd{code\_thms}} |
47 \newcommand{\isasymCODETHMS}{\cmd{code\_thms}} |
|
48 \newcommand{\isasymCODEDEPS}{\cmd{code\_deps}} |
47 \newcommand{\isasymFUN}{\cmd{fun}} |
49 \newcommand{\isasymFUN}{\cmd{fun}} |
48 \newcommand{\isasymFUNCTION}{\cmd{function}} |
50 \newcommand{\isasymFUNCTION}{\cmd{function}} |
49 \newcommand{\isasymPRIMREC}{\cmd{primrec}} |
51 \newcommand{\isasymPRIMREC}{\cmd{primrec}} |
50 \newcommand{\isasymRECDEF}{\cmd{recdef}} |
52 \newcommand{\isasymRECDEF}{\cmd{recdef}} |
51 |
53 |