| Name | Category | Theorems |
|---|
mriscx_InstrDecX___ 📖 | CompOp | — |
mriscx_InstrIncX___ 📖 | CompOp | — |
mriscx_InstrJ___ 📖 | CompOp | — |
mriscx_InstrPANIC!__ 📖 | CompOp | — |
mriscx_num_or_ident_ 📖 | CompOp | — |
mriscx_num_or_ident__1 📖 | CompOp | — |
mriscx_syntaxMriscx___End 📖 | CompOp | — |
term_ 📖 | CompOp | — |
«mriscx_InstrAddX_,X_,X___» 📖 | CompOp | — |
«mriscx_InstrAddiX_,X_,___» 📖 | CompOp | — |
«mriscx_InstrBeqX_,X_,___» 📖 | CompOp | — |
«mriscx_InstrBeqzX_,___» 📖 | CompOp | — |
«mriscx_InstrBgtX_,X_,___» 📖 | CompOp | — |
«mriscx_InstrBleX_,X_,___» 📖 | CompOp | — |
«mriscx_InstrBneX_,X_,___» 📖 | CompOp | — |
«mriscx_InstrBnezX_,___» 📖 | CompOp | — |
«mriscx_InstrLaX_,___» 📖 | CompOp | — |
«mriscx_InstrLiX_,___» 📖 | CompOp | — |
«mriscx_InstrLwX_,X___» 📖 | CompOp | — |
«mriscx_InstrLwX_,___» 📖 | CompOp | — |
«mriscx_InstrMvX_,X___» 📖 | CompOp | — |
«mriscx_InstrSubX_,X_,X___» 📖 | CompOp | — |
«mriscx_InstrSubiX_,X_,___» 📖 | CompOp | — |
«mriscx_InstrSwX_,X___» 📖 | CompOp | — |
«mriscx_InstrXorX_,X_,X___» 📖 | CompOp | — |
«mriscx_InstrXoriX_,X_,___» 📖 | CompOp | — |
«mriscx_label__:_» 📖 | CompOp | — |
«mriscx_spec⟪_⟫» 📖 | CompOp | — |