Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Tuned metadata for Bertrands_Postulate
  2. Added character substitution to Regular-Sets
Changeset 7945:5f054a305935 by eberlm _eberlm@in.tum.de_:
Tuned metadata for Bertrands_Postulate
The file was modified metadata/metadata (diff)
Changeset 7944:991ce6d5db60 by eberlm _eberlm@in.tum.de_:
Added character substitution to Regular-Sets
The file was modified thys/Regular-Sets/Regexp_Constructions.thy (diff)