Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)
Summary
- more robust Array.T for Scala 2.13 and 3.x, following Isabelle/ca450d902198;
The file was modified | thys/Van_Emde_Boas_Trees/Imperative_HOL_Time/Array_Time.thy |
The file was modified | thys/Van_Emde_Boas_Trees/Imperative_HOL_Time/Heap_Time_Monad.thy |