Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more explicit Argo proof traces; more correct proof replay for term applications
Changeset 66301:8a6a89d6cf2b by boehmes:
more explicit Argo proof traces; more correct proof replay for term applications
The file was modified src/HOL/Tools/Argo/argo_tactic.ML (diff)
The file was modified src/HOL/ex/Argo_Examples.thy (diff)
The file was modified src/Tools/Argo/argo_expr.ML (diff)
The file was modified src/Tools/Argo/argo_proof.ML (diff)
The file was modified src/Tools/Argo/argo_rewr.ML (diff)