changelog entries

CHANGELOG.md

@@ -5,6 +5,16 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## [Unreleased]
+
+### Added
+
+- Functions `Valid_Next_Internal` and `Field_Size_Internal` (eng/recordflux/RecordFlux#1382)
+
+### Removed
+
+- Functions `Valid_Predecessor` and `Path_Condition` (eng/recordflux/RecordFlux#1382)
+
 ## [0.13.0] - 2023-09-13
 
 ### Added
@@ -371,6 +381,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [0.1.0] - 2019-05-14
 
+[Unreleased]: https://github.com/AdaCore/RecordFlux/compare/v0.13.0...HEAD
 [0.13.0]: https://github.com/AdaCore/RecordFlux/compare/v0.12.0...v0.13.0
 [0.12.0]: https://github.com/AdaCore/RecordFlux/compare/v0.11.1...v0.12.0
 [0.11.1]: https://github.com/AdaCore/RecordFlux/compare/v0.11.0...v0.11.1