--- a/src/HOL/Types_To_Sets/unoverload_type.ML Wed Jun 13 09:22:58 2018 +0200
+++ b/src/HOL/Types_To_Sets/unoverload_type.ML Wed Jun 13 09:26:04 2018 +0200
@@ -61,6 +61,7 @@
fun unoverload_type_attr xs = Thm.rule_attribute [] (fn context => unoverload_type context xs)
val _ = Context.>> (Context.map_theory (Attrib.setup @{binding unoverload_type}
- (Scan.lift (Scan.repeat Args.var) >> unoverload_type_attr) "internalize a sort"))
+ (Scan.lift (Scan.repeat Args.var) >> unoverload_type_attr)
+ "internalize and unoverload type class parameters"))
end
\ No newline at end of file