Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. misc tuning and modernization;
  3. proper signature;
  4. tuned signature;
Changeset 63405:920217323147 by wenzelm:
merged
Changeset 63404:a95e7432d86c by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/Finite_Set.thy (diff)
The file was modified src/HOL/Relation.thy (diff)
The file was modified src/HOL/Transitive_Closure.thy (diff)
Changeset 63403:a962f349c8c9 by wenzelm:
proper signature;
The file was modified src/Doc/Implementation/Local_Theory.thy (diff)
Changeset 63402:f199837304d7 by wenzelm:
tuned signature;
The file was modified src/Doc/Implementation/Local_Theory.thy (diff)
The file was modified src/HOL/Statespace/state_space.ML (diff)
The file was modified src/Pure/Isar/class_declaration.ML (diff)
The file was modified src/Pure/Isar/expression.ML (diff)
The file was modified src/Pure/Isar/interpretation.ML (diff)
The file was modified src/Pure/Isar/named_target.ML (diff)