src/Pure/General/sql.scala

--- a/src/Pure/General/sql.scala	Tue Mar 14 20:25:48 2023 +0100
+++ b/src/Pure/General/sql.scala	Tue Mar 14 20:31:08 2023 +0100
@@ -224,6 +224,8 @@
   final class Tables private(val list: List[Table]) extends Iterable[Table] {
     override def toString: String = list.mkString("SQL.Tables(", ", ", ")")
 
+    def ::: (other: Tables): Tables = new Tables(other.list ::: list)
+
     def iterator: Iterator[Table] = list.iterator
 
     // requires transaction