Summary
- merge from afp-2016
- correct broken metadata
- updated Sledgehammer proofs according to Isabelle fe31996e3898;
- tuned proofs;
The file was modified | metadata/metadata (diff) |
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) |
The file was modified | thys/Graph_Theory/Funpow.thy (diff) |