Index - S
| SameKind | Proof.Equational |
| SameKindSym0 | Proof.Equational |
| SameKindSym1 | Proof.Equational |
| SameKindSym2 | Proof.Equational |
| Sing | |
| 1 (Data Constructor) | Proof.Equational |
| 2 (Type/Class) | Proof.Equational |
| sing | Proof.Equational |
| singByProxy | Proof.Equational |
| singByProxy# | Proof.Equational |
| singFun1 | Proof.Equational |
| singFun2 | Proof.Equational |
| singFun3 | Proof.Equational |
| singFun4 | Proof.Equational |
| singFun5 | Proof.Equational |
| singFun6 | Proof.Equational |
| singFun7 | Proof.Equational |
| singFun8 | Proof.Equational |
| SingFunction1 | Proof.Equational |
| SingFunction2 | Proof.Equational |
| SingFunction3 | Proof.Equational |
| SingFunction4 | Proof.Equational |
| SingFunction5 | Proof.Equational |
| SingFunction6 | Proof.Equational |
| SingFunction7 | Proof.Equational |
| SingFunction8 | Proof.Equational |
| SingI | Proof.Equational |
| SingInstance | |
| 1 (Data Constructor) | Proof.Equational |
| 2 (Type/Class) | Proof.Equational |
| singInstance | Proof.Equational |
| SingKind | Proof.Equational |
| singThat | Proof.Equational |
| SLambda | Proof.Equational |
| SLambda2 | Proof.Equational |
| SLambda3 | Proof.Equational |
| SLambda4 | Proof.Equational |
| SLambda5 | Proof.Equational |
| SLambda6 | Proof.Equational |
| SLambda7 | Proof.Equational |
| SLambda8 | Proof.Equational |
| SomeSing | |
| 1 (Data Constructor) | Proof.Equational |
| 2 (Type/Class) | Proof.Equational |
| start | Proof.Equational |
| sym | Proof.Equational |
| symmetry | Proof.Equational |