unused;
authorwenzelm
Sat, 17 Aug 2019 11:39:29 +0200
changeset 70558 36e41783bb6e
parent 70557 5d6e9c65ea67
child 70559 c92443e8d724
unused;
src/Pure/thm.ML
--- 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;