https://github.com/isabelle-utp/utp-main
History
Tip revision: ffd472022798e60f0385030682b7a07fbeb49e68 authored by Simon Foster on 29 January 2024, 22:07:20 UTC
Fixes for Isabelle 2023
Tip revision: ffd4720

README.md

back to top