Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. varify frees, notably dangling_params (see also e0cd57aeb60c);
  2. tuned -- more explicit expression;
Changeset 68351:bcdc4c21ab1d by wenzelm:
varify frees, notably dangling_params (see also e0cd57aeb60c);
The file was modified src/Pure/Isar/class.ML (diff)
Changeset 68350:7fafc8a01915 by wenzelm:
tuned -- more explicit expression;
The file was modified src/Pure/Isar/class.ML (diff)