| changeset 26665 | 2e363edf7578 |
| parent 26653 | 60e0cf6bef89 |
| child 27255 | 0ea8e825a1b3 |
--- a/src/Pure/more_thm.ML Tue Apr 15 18:49:18 2008 +0200 +++ b/src/Pure/more_thm.ML Tue Apr 15 18:49:19 2008 +0200 @@ -135,7 +135,7 @@ val eq_thms = eq_list eq_thm; -val eq_thm_thy = eq_thy o pairself Thm.theory_of_thm; +val eq_thm_thy = Theory.eq_thy o pairself Thm.theory_of_thm; val eq_thm_prop = op aconv o pairself Thm.full_prop_of;