1.1 18-03-2025: Version 3.5 of the Isabelle ITL proof library

• Deep embedding of NL-ITL, QPITL with neighbourhood operators [2]. Note, we have both infinite past and infinite future, therefore we need the theory of extended integers. This is an example of an expanding logic whereas traditional ITL is an introspective logic.
• Deep embedding of PITL with the CDT operators of Yde Venema [51] without chop-star and chop-omega. Another example of an expanding logic.
• Minor changes to existing theory files.