Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Removed use of reflection from Bertrands_Postulate
Changeset 7866:2b541350b846 by eberlm _eberlm@in.tum.de_:
Removed use of reflection from Bertrands_Postulate
The file was modified thys/Bertrands_Postulate/Bertrand.thy (diff)
The file was modified thys/Bertrands_Postulate/ROOT (diff)
The file was modified thys/Bertrands_Postulate/bertrand.ML (diff)