Modified .gitignore.
negative_examples added.
Get terms from cnf working.
Get terms from cnf working.
Antiinstantiation working.
Removing duplicates.
Renamed a generated variable.
entails_clause added.
Added proving.php.
finds_refutation added.
finds_refutation added.
get_resolvements added.
Literal class fix.
Generate_different_var added.
to_string added.
to_string added.
proving updated.