src/Pure/General/sql.scala

--- a/src/Pure/General/sql.scala	Wed Feb 12 15:22:47 2025 +0100
+++ b/src/Pure/General/sql.scala	Wed Feb 12 20:05:42 2025 +0100
@@ -265,6 +265,9 @@
   abstract class Data(table_prefix: String = "") {
     def tables: Tables
 
+    def tables_ok(db: SQL.Database): Boolean =
+      tables.forall(db.exists_table)
+
     def transaction_lock[A](
       db: Database,
       create: Boolean = false,