Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified;
  2. misc tuning and modernization;
Changeset 63362:9321740ae1d4 by wenzelm:
clarified;
The file was modified src/HOL/Library/State_Monad.thy (diff)
Changeset 63361:d10eab0672f9 by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/Proofs/Extraction/Euclid.thy (diff)
The file was modified src/HOL/Proofs/Extraction/Greatest_Common_Divisor.thy (diff)
The file was modified src/HOL/Proofs/Extraction/Higman.thy (diff)
The file was modified src/HOL/Proofs/Extraction/Higman_Extraction.thy (diff)
The file was modified src/HOL/Proofs/Extraction/Pigeonhole.thy (diff)
The file was modified src/HOL/Proofs/Extraction/QuotRem.thy (diff)
The file was modified src/HOL/Proofs/Extraction/Util.thy (diff)
The file was modified src/HOL/Proofs/Extraction/Warshall.thy (diff)