Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper order of variables, independently of varify/unvarify state -- relevant for export of locale conclusions;
Changeset 70948:5ed8c7e826a2 by wenzelm:
proper order of variables, independently of varify/unvarify state -- relevant for export of locale conclusions;
The file was modified src/Pure/proofterm.ML (diff)