Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. remove dead theory
Changeset 9225:79f64c92d5ae by lars hupel _lars.hupel@mytum.de_:
merged
Changeset 9224:ac3deb926abe by lars hupel _lars.hupel@mytum.de_:
remove dead theory
The file was removedthys/VerifyThis2018/lib/Impl_List_Set_Ndj.thy