Skip to content
Success

Changes

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. more robust Array.T for Scala 2.13 and 3.x, following Isabelle/ca450d902198;
Changeset 12782:18281e769389 by wenzelm:
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