Index - C
| can | HaskHOL.Core.Lib, HaskHOL.Core |
| canNot | HaskHOL.Core.Lib, HaskHOL.Core |
| catchHOL | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| catFrees | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| catMaybes | HaskHOL.Core.Lib, HaskHOL.Core |
| catTypeOpVars | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| catTyVars | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| cComb | HaskHOL.Core.Lib, HaskHOL.Core |
| check | HaskHOL.Core.Lib, HaskHOL.Core |
| chopList | HaskHOL.Core.Lib, HaskHOL.Core |
| Comb | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| concl | HaskHOL.Core.Kernel, HaskHOL.Core |
| conjuncts | HaskHOL.Core.Basics, HaskHOL.Core |
| Const | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| constants | HaskHOL.Core.State, HaskHOL.Core |
| ConstTag | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| containsUType | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| ctxtBase | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |