# HG changeset patch
# User wenzelm
# Date 1678822268 -3600
# Node ID 74cd42d053bf9cd69031088b330f4a2e73c3d25a
# Parent  f5d3ade80d1580df0e29926c4ce99e8beec9df39
more operations;

diff -r f5d3ade80d15 -r 74cd42d053bf 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