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

Index - K

K 
1 (Data Constructor)Data.Logic.ATP.PropExamples
2 (Type/Class)Data.Logic.ATP.Tableaux
3 (Data Constructor)Data.Logic.ATP.Tableaux
KnowsData.Logic.ATP.PropExamples, Data.Logic.ATP