Logically revert: "Replace Functions and FunctionTheorems with Fork variants"

Fork libraries have been removed in TLAPS in tlaplus/tlapm@c706ff1, which reverts tlaplus/tlapm#239.

This commit logically reverts git commit 9ece37b

[Dependencies]

Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>

Author: lemmy

specifications/LoopInvariance/SumSequence.tla

@@ -9,7 +9,7 @@
 (*                                                                         *)
 (*    http://lamport.azurewebsites.net/tla/proving-safety.pdf              *)
 (***************************************************************************)
-EXTENDS Integers, SequenceTheorems, SequencesExtForkTheorems, NaturalsInduction, TLAPS
+EXTENDS Integers, SequenceTheorems, SequencesExtTheorems, NaturalsInduction, TLAPS
 
 (***************************************************************************)
 (* To facilitate model checking, we assume that the sequence to be summed  *)

specifications/bcastByz/bcastByz.tla

@@ -34,8 +34,8 @@
 
 EXTENDS Naturals, 
         FiniteSets,
-        FunctionsFork,
-        FunctionForkTheorems, 
+        Functions,
+        FunctionTheorems, 
         FiniteSetTheorems,
         NaturalsInduction,
         SequenceTheorems,