Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned
  2. tuned
  3. dropped dead code
Changeset 71403:43c2355648d2 by haftmann:
tuned
The file was modified src/Pure/raw_simplifier.ML (diff)
Changeset 71402:fb9edfe035e1 by haftmann:
tuned
The file was modified src/Provers/hypsubst.ML (diff)
Changeset 71401:a3ae93ed7b1b by haftmann:
dropped dead code
The file was modified src/Provers/hypsubst.ML (diff)