-
wenzelm authored
standardized towards new-style formal comments: isabelle update_comments from Isabelle/f075640b8868;
4e9be8238696
This instance will be upgraded to Heptapod 1.3.1 (GitLab 16.9.3) on 2023-03-28 at 17:00 UTC+1
standardized towards new-style formal comments: isabelle update_comments from Isabelle/f075640b8868;