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 |