diff --git a/CHANGELOG b/CHANGELOG
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,3 +1,7 @@
+2023-10-21 Ivan Perez <ivan.perez@keera.co.uk>
+        * Version bump (0.12.0) (#388).
+        * Deprecate one of multiple ptLTL implementations (#385).
+
 2023-08-21 Ivan Perez <ivan.perez@keera.co.uk>
         * Version bump (0.11.2) (#377).
 
diff --git a/dunai-test.cabal b/dunai-test.cabal
--- a/dunai-test.cabal
+++ b/dunai-test.cabal
@@ -30,7 +30,7 @@
 build-type:    Simple
 
 name:          dunai-test
-version:       0.11.2
+version:       0.12.0
 author:        Ivan Perez
 maintainer:    ivan.perez@keera.co.uk
 homepage:      https://github.com/ivanperez-keera/dunai
@@ -74,7 +74,7 @@
 
   build-depends:
       base >= 4 && < 5
-    , dunai >= 0.5 && < 0.12
+    , dunai >= 0.5 && < 0.13
     , normaldistribution
     , QuickCheck
 
diff --git a/src/FRP/Dunai/LTLPast.hs b/src/FRP/Dunai/LTLPast.hs
--- a/src/FRP/Dunai/LTLPast.hs
+++ b/src/FRP/Dunai/LTLPast.hs
@@ -87,19 +87,23 @@
 -- ** Propositional MSFs
 
 -- | Output True at times when the input is False.
+{-# DEPRECATED notSF' "Use notSF instead" #-}
 notSF' :: Monad m => SPred m a -> SPred m a
 notSF' sf = sf >>> arr not
 
 -- | Output True at times when both inputs are True.
+{-# DEPRECATED andSF' "Use andSF instead" #-}
 andSF' :: Monad m => SPred m a -> SPred m a -> SPred m a
 andSF' sf1 sf2 = (sf1 &&& sf2) >>> arr (uncurry (&&))
 
 -- | Output True at times when at least one of the inputs is True.
+{-# DEPRECATED orSF' "Use orSF instead" #-}
 orSF' :: Monad m => SPred m a -> SPred m a -> SPred m a
 orSF' sf1 sf2 = (sf1 &&& sf2) >>> arr (uncurry (||))
 
 -- | Output True at times when the first input stream is False or the second
 -- one is True.
+{-# DEPRECATED implySF' "Use impliesSF instead" #-}
 implySF' :: Monad m => SPred m a -> SPred m a -> SPred m a
 implySF' sf1 sf2 = orSF' sf2 (notSF' sf1)
 
@@ -110,6 +114,7 @@
 --
 -- This corresponds to Historically, or the past-time version of Globally or
 -- Always.
+{-# DEPRECATED history' "Use sofarSF instead" #-}
 history' :: Monad m => SPred m a -> SPred m a
 history' sf = feedback True $ proc (a, last) -> do
   b <- sf -< a
@@ -119,6 +124,7 @@
 -- | Output True at a time if the input has ever been True up until that time.
 --
 -- This corresponds to Ever, or the past-time version of Eventually.
+{-# DEPRECATED ever' "Use everSF instead" #-}
 ever' :: Monad m => SPred m a -> SPred m a
 ever' sf = feedback False $ proc (a, last) -> do
   b <- sf -< a
@@ -126,6 +132,7 @@
   returnA -< (cur, cur)
 
 -- | Output True at a time if the input at the last time was True.
+{-# DEPRECATED prev' "Use lastSF instead" #-}
 prev' :: Monad m => SPred m a -> SPred m a
 prev' sf = feedback True $ proc (a, last) -> do
   b <- sf -< a