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

Index - Q

QFormulaData.Logic.ATP.Quantified, Data.Logic.ATP
QuantData.Logic.ATP.Quantified, Data.Logic.ATP
quantData.Logic.ATP.Quantified, Data.Logic.ATP
quantifierIdData.Logic.ATP.Parser, Data.Logic.ATP
quantifierOpData.Logic.ATP.Parser, Data.Logic.ATP
quantPrecData.Logic.ATP.Pretty, Data.Logic.ATP
quotesData.Logic.ATP