Tools/sat_solver.ML and Tools/prop_logic.ML added
Tools/sat_solver.ML and Tools/prop_logic.ML added

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle