Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. common entity definitions within a global or local theory context;
Changeset 63090:7aa9ac5165e4 by wenzelm:
common entity definitions within a global or local theory context;
The file was addedsrc/Pure/Isar/entity.ML
The file was modified src/Pure/Isar/attrib.ML (diff)
The file was modified src/Pure/Isar/local_theory.ML (diff)
The file was modified src/Pure/Isar/method.ML (diff)
The file was modified src/Pure/ROOT.ML (diff)