Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned proofs -- more accurate literal facts (see Isabelle/a4d0dc3ea28f);
Changeset 6848:9e3f1d593d04 by wenzelm:
tuned proofs -- more accurate literal facts (see Isabelle/a4d0dc3ea28f);
The file was modified thys/Containers/ITP-2013/Benchmark_Set_LC.thy (diff)
The file was modified thys/Ergodic_Theory/Recurrence.thy (diff)
The file was modified thys/JinjaThreads/MM/JMM_Framework.thy (diff)
The file was modified thys/JinjaThreads/MM/JMM_Typesafe.thy (diff)
The file was modified thys/Jordan_Normal_Form/Determinant_Impl.thy (diff)
The file was modified thys/Multirelations/C_Algebras.thy (diff)
The file was modified thys/Planarity_Certificates/Verification/Check_Planarity_Verification.thy (diff)
The file was modified thys/QR_Decomposition/Miscellaneous_QR.thy (diff)