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

Index - V

V 
1 (Type/Class)Data.Logic.ATP.Term, Data.Logic.ATP
2 (Data Constructor)Data.Logic.ATP.Term, Data.Logic.ATP
VarData.Logic.ATP.Term, Data.Logic.ATP
varData.Logic.ATP.FOL, Data.Logic.ATP
variantData.Logic.ATP.Term, Data.Logic.ATP
variantsData.Logic.ATP.Term, Data.Logic.ATP
variantSkolemData.Logic.ATP.Skolem, Data.Logic.ATP
VarOfData.Logic.ATP.Quantified, Data.Logic.ATP
vcatData.Logic.ATP
vtData.Logic.ATP.Term, Data.Logic.ATP