--- a/src/HOL/Types_To_Sets/Types_To_Sets.thy Tue Jun 12 11:18:35 2018 +0100
+++ b/src/HOL/Types_To_Sets/Types_To_Sets.thy Tue Jun 12 16:21:52 2018 +0200
@@ -24,4 +24,8 @@
text\<open>The following file implements a derived rule that internalizes type class annotations.\<close>
ML_file "internalize_sort.ML"
+text\<open>The following file provides some automation to unoverload and internalize the parameters o
+ the sort constraints of a type variable.\<close>
+ML_file \<open>unoverload_type.ML\<close>
+
end