Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. a derived rule combining unoverload and internalize_sort
Changeset 68428:46beee72fb66 by immler:
a derived rule combining unoverload and internalize_sort
The file was addedsrc/HOL/Types_To_Sets/unoverload_type.ML
The file was modified src/HOL/Types_To_Sets/Examples/T2_Spaces.thy (diff)
The file was modified src/HOL/Types_To_Sets/Types_To_Sets.thy (diff)