1.1 26-10-2026: Version 3.7 of the Isabelle ITL proof library
1.2 19-12-2025: Version 3.6 of the Isabelle ITL proof library
1.3 19-12-2025: Version 2.0 of FLCHECK
1.4 18-03-2025: Version 3.5 of the Isabelle ITL proof library
1.5 18-03-2025: Update ITL operators and ITL related publications
1.6 26-05-2024: Version 3.4 of the Isabelle ITL proof library