Index - A
| admitted | Proof.Equational |
| andAssocL | Proof.Propositional |
| andAssocR | Proof.Propositional |
| andElimL | Proof.Propositional |
| andElimR | Proof.Propositional |
| andIntro | Proof.Propositional |
| Apply | Proof.Equational |
| apply | Proof.Equational |
| applyNAry | Proof.Equational |
| applyNAry' | Proof.Equational |
| applySing | Proof.Equational |
| ApplySym0 | Proof.Equational |
| ApplySym1 | Proof.Equational |
| ApplySym2 | Proof.Equational |
| Args | Proof.Equational |
| asProxyTypeOf | Proof.Equational |