Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. more abstract names
  2. tuned exception
Changeset 68439:c8101022e52a by nipkow:
more abstract names
The file was modified src/HOL/Data_Structures/Set_Specs.thy (diff)
Changeset 68438:f04d0e75e439 by immler:
tuned exception
The file was modified src/HOL/Types_To_Sets/unoverload_type.ML (diff)