atp-haskell-1.14: Translation from Ocaml to Haskell of John Harrison's ATP code

Index - G

generalizeData.Logic.ATP.FOL, Data.Logic.ATP
gilmoreData.Logic.ATP.Herbrand, Data.Logic.ATP
gilmore_loopData.Logic.ATP.Herbrand, Data.Logic.ATP
groundtermsData.Logic.ATP.Herbrand, Data.Logic.ATP
groundtuplesData.Logic.ATP.Herbrand, Data.Logic.ATP