Skip to content
[Jenkins]Jenkins
log in
Aborted

Changes

Summary

  1. notation for dummy sort;
Changeset 67718:17874d43d3b3 by wenzelm:
notation for dummy sort;
The file was modified NEWS (diff)
The file was modified src/Doc/Isar_Ref/Inner_Syntax.thy (diff)
The file was modified src/Pure/Syntax/syntax_phases.ML (diff)
The file was modified src/Pure/pure_thy.ML (diff)