Index - S
| SCC | TPDB.Rainbow.Proof.Type |
| Semlab | TPDB.CPF.Proof.Type |
| separate | TPDB.Data, TPDB.XTC |
| SES | TPDB.Data, TPDB.XTC |
| Sharp | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| sharp_name_HACK | TPDB.Data.Xml |
| signature | TPDB.Data, TPDB.XTC |
| SimpleDoc | TPDB.Pretty |
| Simple_Projection | |
| 1 (Type/Class) | TPDB.Rainbow.Proof.Type |
| 2 (Data Constructor) | TPDB.Rainbow.Proof.Type |
| spine | TPDB.Convert |
| SRS | TPDB.Data, TPDB.XTC |
| srs | TPDB.Plain.Read |
| srs2trs | TPDB.Convert |
| Startterm | TPDB.Data, TPDB.XTC |
| startterm | TPDB.Data, TPDB.XTC |
| Startterm_Constructor_based | TPDB.Data, TPDB.XTC |
| Startterm_Full | TPDB.Data, TPDB.XTC |
| Strategy | TPDB.Data, TPDB.XTC |
| strategy | TPDB.Data, TPDB.XTC |
| Strategy_Declaration | TPDB.Plain.Read |
| Strict | TPDB.Data, TPDB.XTC |
| strict | TPDB.Data, TPDB.XTC |
| strictDimension | TPDB.CPF.Proof.Type |
| strict_rules | TPDB.Data, TPDB.XTC |
| StringReversal | TPDB.CPF.Proof.Type |
| strip | TPDB.Xml |
| subterms | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| Sum | TPDB.CPF.Proof.Type |
| symbol | TPDB.CPF.Proof.Type |
| sympos | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| syms | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| symsl | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| system | TPDB.Rainbow.Proof.Type |