Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. path_len → ipl
  2. further adapted to Isabelle/457e4fbed731
Changeset 7782:a317e7618311 by lars hupel _lars.hupel@mytum.de_:
path_len → ipl
The file was modified thys/Random_BSTs/Random_BSTs.thy (diff)
Changeset 7781:a37d7a7af107 by lars hupel _lars.hupel@mytum.de_:
further adapted to Isabelle/457e4fbed731
The file was modified tools/afp_check_roots.scala (diff)