Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more uniform header syntax, in contrast to the former etc/abbrevs file-format (see 73939a9b70a3);
Changeset 67013:335a7dce7cb3 by wenzelm:
more uniform header syntax, in contrast to the former etc/abbrevs file-format (see 73939a9b70a3);
The file was modified NEWS (diff)
The file was modified src/Doc/Isar_Ref/Spec.thy (diff)
The file was modified src/HOL/Library/FuncSet.thy (diff)
The file was modified src/HOL/Library/Simps_Case_Conv.thy (diff)
The file was modified src/Pure/Pure.thy (diff)
The file was modified src/Pure/Thy/thy_header.ML (diff)
The file was modified src/Pure/Thy/thy_header.scala (diff)