Diff of /thys/SATSolverVerification/ROOT.ML [000000] .. [653eb8] Maximize Restore

  Switch to side-by-side view

--- a
+++ b/thys/SATSolverVerification/ROOT.ML
@@ -0,0 +1,4 @@
+  no_document use_thy "Multiset";
+  use_thy "BasicDPLL";
+  use_thy "NieuwenhuisOliverasTinelli";
+  use_thy "KrsticGoel";