Add notation {x & P} for sigT

Analogous to existing `{x | P}` notation for `sig`, where the type of
`x` is inferred instead of specified.

1 files changed, 1 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index cb4b966b0..69f492a9c 100644
--- a/CHANGES
+++ b/CHANGES
@@ -223,6 +223,7 @@ Standard Library
   lemmas such as INR_IZR_INZ should be used instead.
 - Real constants are now represented using IZR rather than R0 and R1;
   this might cause rewriting rules to fail to apply to constants.
+- Added new notation {x & P} for sigT (without a type for x)
 
 Plugins