This instance will be upgraded to Heptapod 17.9.0 final on 2025-04-04 between 14:00 and 15:00 UTC+2
Select Git revision
branch/default
topic/default/Feature-for-Regular_Tree_Relations
Isabelle2011-1
Isabelle2012
Isabelle2013
Isabelle2013-1
Isabelle2013-2
Isabelle2014
Isabelle2015
Isabelle2016
Isabelle2016-1
Isabelle2017
Isabelle2018
Isabelle2021-1
Isabelle2022
Isabelle2023
Isabelle2024