--- a/src/HOL/Import/patches/patch1 Sat Jan 18 23:46:46 2025 +0100
+++ b/src/HOL/Import/patches/patch1 Sun Jan 19 14:23:13 2025 +0100
@@ -18,14 +18,16 @@
+dump_theorems ();;
--- hol-light/stage1.ml 1970-01-01 01:00:00.000000000 +0100
+++ hol-light-patched/stage1.ml 2025-01-18 11:12:11.185279392 +0100
-@@ -0,0 +1,4 @@
+@@ -0,0 +1,5 @@
+#use "hol.ml";;
++(*LOAD MORE*)
+#use "update_database.ml";;
+#use "statements.ml";;
+exit 0;;
--- hol-light/stage2.ml 1970-01-01 01:00:00.000000000 +0100
+++ hol-light-patched/stage2.ml 2025-01-18 11:12:11.384276293 +0100
-@@ -0,0 +1,3 @@
+@@ -0,0 +1,4 @@
+#use "hol.ml";;
++(*LOAD MORE*)
+stop_recording ();;
+exit 0;;