Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified documentation;
  2. more documentation;
Changeset 70261:efbdfcaa6258 by wenzelm:
clarified documentation;
The file was modified src/Doc/Isar_Ref/HOL_Specific.thy (diff)
The file was modified src/Doc/Isar_Ref/Spec.thy (diff)
Changeset 70260:22cfcfcadd8b by wenzelm:
more documentation;
The file was modified NEWS (diff)
The file was modified src/Doc/Isar_Ref/Spec.thy (diff)