--- a/src/HOL/Data_Structures/Define_Time_Function.thy	Wed Feb 05 16:34:56 2025 +0000
+++ b/src/HOL/Data_Structures/Define_Time_Function.thy	Thu Feb 06 14:46:49 2025 +0100
@@ -12,6 +12,7 @@
   keywords "time_fun" :: thy_decl
     and    "time_function" :: thy_decl
     and    "time_definition" :: thy_decl
+    and    "time_partial_function" :: thy_decl
     and    "equations"
     and    "time_fun_0" :: thy_decl
 begin