Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. Remove duplicate declaration of class finite
  3. Tuned.
Changeset 7740:1599fa188970 by tjark weber _tjark.weber@it.uu.se_:
merged
Changeset 7739:220f562879c3 by tjark weber _tjark.weber@it.uu.se_:
Remove duplicate declaration of class finite
The file was modified thys/Kleene_Algebra/Inf_Matrix.thy (diff)
Changeset 7738:ebaa3dee86b0 by tjark weber _tjark.weber@it.uu.se_:
Tuned.
The file was modified thys/Modal_Logics_for_NTS/Weak_Formula.thy (diff)