Index - S
| second | HaskHOL.Core.Lib, HaskHOL.Core |
| secondM | HaskHOL.Core.Lib, HaskHOL.Core |
| sequence | HaskHOL.Core.Lib, HaskHOL.Core |
| sequence_ | HaskHOL.Core.Lib, HaskHOL.Core |
| serve | HaskHOL.Core.Ext, HaskHOL.Core |
| setBenignFlag | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| setEq | HaskHOL.Core.Lib, HaskHOL.Core |
| setify | HaskHOL.Core.Lib, HaskHOL.Core |
| setify' | HaskHOL.Core.Lib, HaskHOL.Core |
| shareOut | HaskHOL.Core.Lib, HaskHOL.Core |
| ShowHOL | HaskHOL.Core.Printer, HaskHOL.Core |
| showHOL | HaskHOL.Core.Printer, HaskHOL.Core |
| some | HaskHOL.Core.Lib, HaskHOL.Core |
| sort | HaskHOL.Core.Lib, HaskHOL.Core |
| sortBy | HaskHOL.Core.Lib, HaskHOL.Core |
| splitList | HaskHOL.Core.Lib, HaskHOL.Core |
| splitListM | HaskHOL.Core.Lib, HaskHOL.Core |
| str | HaskHOL.Core.Ext, HaskHOL.Core |
| stripAbs | HaskHOL.Core.Basics, HaskHOL.Core |
| stripComb | HaskHOL.Core.Basics, HaskHOL.Core |
| stripExists | HaskHOL.Core.Basics, HaskHOL.Core |
| stripForall | HaskHOL.Core.Basics, HaskHOL.Core |
| stripGAbs | HaskHOL.Core.Basics, HaskHOL.Core |
| stripList | HaskHOL.Core.Lib, HaskHOL.Core |
| stripListM | HaskHOL.Core.Lib, HaskHOL.Core |
| stripPrefix | HaskHOL.Core.Lib, HaskHOL.Core |
| stripTyAll | HaskHOL.Core.Basics, HaskHOL.Core |
| stripTyEx | HaskHOL.Core.Basics, HaskHOL.Core |
| subset | HaskHOL.Core.Lib, HaskHOL.Core |
| subst | HaskHOL.Core.Basics, HaskHOL.Core |
| SubstTrip | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| subtract' | HaskHOL.Core.Lib, HaskHOL.Core |
| swap | HaskHOL.Core.Lib, HaskHOL.Core |