Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more uniform facts: single vs. multi;
  2. explicit names for bound variables;
Changeset 68726:782d6b89fb19 by wenzelm:
more uniform facts: single vs. multi;
The file was modified src/Pure/Thy/export_theory.ML (diff)
The file was modified src/Pure/Thy/export_theory.scala (diff)
Changeset 68725:367e60d9aa1b by wenzelm:
explicit names for bound variables;
The file was modified src/Pure/Thy/export_theory.ML (diff)