1.1 --- a/ISABELLE_VERSION	Tue Sep 14 16:06:42 2021 +0200
     1.2 +++ b/ISABELLE_VERSION	Thu Sep 16 11:47:03 2021 +0200
     1.3 @@ -1,1 +1,1 @@
     1.4 -1aa9ef7a3eaf
     1.5 \ No newline at end of file
     1.6 +c645d973f881