Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more CONTRIBUTORS + NEWS;
  2. tuned;
  3. proper description;
  4. tuned whitespace;
  5. option "sort_updates" for record update simproc. Make proper record simproc definitions.
Changeset 76043:b80f33e5323f by wenzelm:
more CONTRIBUTORS + NEWS;
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
Changeset 76042:e076b1b42c44 by wenzelm:
tuned;
The file was modified src/HOL/Examples/Records.thy (diff)
Changeset 76041:4a1330addb4e by wenzelm:
proper description;
The file was modified etc/options (diff)
Changeset 76040:5326abe1fff8 by wenzelm:
tuned whitespace;
The file was modified src/HOL/Tools/record.ML (diff)
Changeset 76039:ca7737249aa4 by Norbert Schirmer _nschirmer@apple.com_:
option "sort_updates" for record update simproc. Make proper record simproc definitions.
The file was modified src/HOL/Examples/Records.thy (diff)
The file was modified src/HOL/Tools/record.ML (diff)