Index - R
| rand | HaskHOL.Core.Basics, HaskHOL.Core |
| rator | HaskHOL.Core.Basics, HaskHOL.Core |
| readHOLRef | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| reduceInterface | |
| 1 (Function) | HaskHOL.Core.Parser |
| 2 (Function) | HaskHOL.Core |
| remove | HaskHOL.Core.Lib, HaskHOL.Core |
| removeInterface | HaskHOL.Core.Parser, HaskHOL.Core |
| removePrebrokenBinop | HaskHOL.Core.Printer, HaskHOL.Core |
| removeTypeAbbrev | HaskHOL.Core.Parser, HaskHOL.Core |
| removeUnspacedBinop | HaskHOL.Core.Printer, HaskHOL.Core |
| repeatM | HaskHOL.Core.Lib, HaskHOL.Core |
| replicateM | HaskHOL.Core.Lib, HaskHOL.Core |
| replicateM_ | HaskHOL.Core.Lib, HaskHOL.Core |
| return | HaskHOL.Core.Lib, HaskHOL.Core |
| rev | HaskHOL.Core.Lib, HaskHOL.Core |
| revAssoc | HaskHOL.Core.Lib, HaskHOL.Core |
| revAssocd | HaskHOL.Core.Lib, HaskHOL.Core |
| revItlist | HaskHOL.Core.Lib, HaskHOL.Core |
| revItlist2 | HaskHOL.Core.Lib, HaskHOL.Core |
| revLookup | HaskHOL.Core.Lib, HaskHOL.Core |
| revLookupd | HaskHOL.Core.Lib, HaskHOL.Core |
| revSplitList | HaskHOL.Core.Lib, HaskHOL.Core |
| revSplitListM | HaskHOL.Core.Lib, HaskHOL.Core |
| Right | HaskHOL.Core.Lib, HaskHOL.Core |
| rights | HaskHOL.Core.Lib, HaskHOL.Core |
| rnf | HaskHOL.Core.Lib, HaskHOL.Core |
| runHOLCtxt | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |