--- a/src/Pure/term_items.ML Fri Dec 29 15:58:43 2023 +0100
+++ b/src/Pure/term_items.ML Fri Dec 29 19:00:17 2023 +0100
@@ -220,3 +220,6 @@
val add_free_names = fold_aterms (fn Free (x, _) => add_set x | _ => I);
end;
+
+
+structure Types = Term_Items(type key = typ val ord = Term_Ord.typ_ord);