Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. restructured
  2. result of unoverload is not in normal form
Changeset 68437:f9b15e7c12bd by immler:
restructured
The file was modified src/HOL/Types_To_Sets/unoverload_type.ML (diff)
Changeset 68436:1b3edf5da4e4 by immler:
result of unoverload is not in normal form
The file was modified src/HOL/Types_To_Sets/unoverload_type.ML (diff)