unused;

--- a/src/Pure/thm.ML	Sat Aug 17 11:23:20 2019 +0200
+++ b/src/Pure/thm.ML	Sat Aug 17 11:39:29 2019 +0200
@@ -475,7 +475,6 @@
 
 val maxidx_of = #maxidx o rep_thm;
 fun maxidx_thm th i = Int.max (maxidx_of th, i);
-val constraints_of = #constraints o rep_thm;
 val shyps_of = #shyps o rep_thm;
 val hyps_of = #hyps o rep_thm;
 val prop_of = #prop o rep_thm;