toSing | Proof.Equational |
trans | Proof.Equational |
transitivity | Proof.Equational |
trivial | Proof.Propositional.Inhabited, Proof.Propositional |
TyCon | Proof.Equational |
TyCon1 | Proof.Equational |
TyCon2 | Proof.Equational |
TyCon3 | Proof.Equational |
TyCon4 | Proof.Equational |
TyCon5 | Proof.Equational |
TyCon6 | Proof.Equational |
TyCon7 | Proof.Equational |
TyCon8 | Proof.Equational |
TyFun | Proof.Equational |