Skip to content
Failed

Changes

Summary

  1. merge from afp-2016
  2. correct broken metadata
  3. updated Sledgehammer proofs according to Isabelle fe31996e3898;
  4. tuned proofs;
Changeset 6639:0f83a7fc0a33 by lars hupel _lars.hupel@mytum.de_:
merge from afp-2016
Changeset 6638:e7d85d5f6f40 by lars hupel _lars.hupel@mytum.de_:
correct broken metadata
The file was modified metadata/metadata (diff)
Changeset 6637:34b7b40f9e79 by wenzelm:
updated Sledgehammer proofs according to Isabelle fe31996e3898;
The file was modified thys/Jordan_Hoelder/CompositionSeries.thy (diff)
The file was modified thys/MSO_Regex_Equivalence/WS1S.thy (diff)
The file was modified thys/Matrix_Tensor/Matrix_Tensor.thy (diff)
Changeset 6636:5069ee5d38bf by wenzelm:
tuned proofs;
The file was modified thys/Graph_Theory/Funpow.thy (diff)