| changeset 70558 | 36e41783bb6e |
| parent 70554 | 10d41bf28b92 |
| child 70560 | 7714971a58b5 |
--- 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;