Index - A
| Abs | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| aConv | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| addPrebrokenBinop | HaskHOL.Core.Printer, HaskHOL.Core |
| addUnspacedBinop | HaskHOL.Core.Printer, HaskHOL.Core |
| allpairs | HaskHOL.Core.Lib, HaskHOL.Core |
| alpha | HaskHOL.Core.Basics, HaskHOL.Core |
| alphaOrder | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| alphaTyabs | HaskHOL.Core.Basics, HaskHOL.Core |
| alphaUtype | HaskHOL.Core.Basics, HaskHOL.Core |
| Alternative | HaskHOL.Core.Lib, HaskHOL.Core |
| ap | HaskHOL.Core.Lib, HaskHOL.Core |
| Applicative | HaskHOL.Core.Lib, HaskHOL.Core |
| Assoc | HaskHOL.Core.Lib, HaskHOL.Core |
| assoc | HaskHOL.Core.Lib, HaskHOL.Core |
| assocd | HaskHOL.Core.Lib, HaskHOL.Core |
| AssocLeft | HaskHOL.Core.Lib, HaskHOL.Core |
| AssocNone | HaskHOL.Core.Lib, HaskHOL.Core |
| AssocRight | HaskHOL.Core.Lib, HaskHOL.Core |
| axioms | HaskHOL.Core.State, HaskHOL.Core |
| axiomThm | HaskHOL.Core.Kernel, HaskHOL.Core |