Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. features and caveats of datatype_record
Changeset 67619:37ba3d234fbf by lars hupel _lars.hupel@mytum.de_:
merged
Changeset 67618:3107dcea3493 by lars hupel _lars.hupel@mytum.de_:
features and caveats of datatype_record
The file was modified src/HOL/Library/Datatype_Records.thy (diff)