Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned signature: more operations;
  2. tuned signature;
  3. always export Pure theory;
  4. de-applying
Changeset 68712:fc51dcb4e6fd by wenzelm:
tuned signature: more operations;
The file was modified src/Pure/Thy/export_theory.scala (diff)
Changeset 68711:d1d03b7b6696 by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/export_theory.scala (diff)
Changeset 68710:3db37e950118 by wenzelm:
always export Pure theory;
The file was modified src/Pure/ROOT (diff)
The file was modified src/Pure/Thy/export_theory.scala (diff)
Changeset 68709:6d9eca4805ff by paulson _lp15@cam.ac.uk_:
de-applying
The file was modified src/HOL/List.thy (diff)