hol-1.4: Higher order logic

Index - Z

zeroNameHOL.Const
ZeroParseIntegerHOL.Parse