Index - S
| same | Theory.Equality, GDP |
| Satisfies | Data.Refined, GDP |
| secondAnd | Logic.Propositional, GDP |
| secondOr | Logic.Propositional, GDP |
| SetArg | Data.Arguments, GDP |
| sorry | Logic.Proof, GDP |
| substitute | Theory.Equality, GDP |
| substituteL | Theory.Equality, GDP |
| substituteR | Theory.Equality, GDP |
| Symmetric | Logic.Classes, GDP |
| symmetric | Logic.Classes, GDP |