src/HOL/Try0_HOL.thy

--- a/src/HOL/Try0_HOL.thy	Tue Apr 01 12:10:45 2025 +0200
+++ b/src/HOL/Try0_HOL.thy	Wed Apr 02 11:18:35 2025 +0200
@@ -62,4 +62,10 @@
 end
 \<close>
 
+declare [[try0_schedule = "
+  satx metis |
+  order presburger linarith algebra argo |
+  simp auto blast fast fastforce force meson
+"]]
+
 end
\ No newline at end of file