Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. canonical time function for List.nth
Changeset 80107:247751d25102 by manuel eberl _eberlm@in.tum.de_:
canonical time function for List.nth
The file was modified src/HOL/Data_Structures/Selection.thy
The file was modified src/HOL/Data_Structures/Time_Funs.thy