Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. export locale dependencies, with approx. morphism as type/term substitution;
  2. tuned signature;
Changeset 69069:b9aca3b9619f by wenzelm:
export locale dependencies, with approx. morphism as type/term substitution;
The file was modified src/Pure/Thy/export_theory.ML (diff)
The file was modified src/Pure/Thy/export_theory.scala (diff)
Changeset 69068:6ce325825ad7 by wenzelm:
tuned signature;
The file was modified src/Pure/Isar/locale.ML (diff)