Replace Functions and FunctionTheorems with Fork variants

lemmy · web-flow · commit 2cf2e11d9f02 · 2025-09-09T18:35:37.000-07:00
tlaplus/tlapm#239
diff --git a/specifications/bcastByz/bcastByz.tla b/specifications/bcastByz/bcastByz.tla
@@ -34,8 +34,8 @@
 
 EXTENDS Naturals, 
         FiniteSets,
-        Functions,
-        FunctionTheorems, 
+        FunctionsFork,
+        FunctionForkTheorems, 
         FiniteSetTheorems,
         NaturalsInduction,
         SequenceTheorems,
