1.1 26-05-2024: Version 3.4 of the Isabelle ITL proof library
1.2 26-05-2024: Version 2.9 of the Isabelle ITL proof library
1.3 26-05-2024: Update ITL related publications
1.4 14-09-2023: Version 3.6 of (Ana)Tempura
1.5 13-09-2023: Version 3.3 of the Isabelle ITL proof library
1.6 12-09-2023: New layout of web pages