src/HOL/Import/patches/patch2

 +    save_proof ("TYDEF_" ^ tyname) tp ([], axc);
 +    (Sequent([],ax1,p1), Sequent([],ax2,p2));;
  
  end;;
  
---- hol-light/stage1.ml	2025-01-18 11:12:11.373276465 +0100
-+++ hol-light-patched/stage1.ml	1970-01-01 01:00:00.000000000 +0100
-@@ -1,4 +0,0 @@
--#use "hol.ml";;
--#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 @@
-+#use "hol.ml";;
-+stop_recording ();;
-+exit 0;;