src/HOL/HOL_lemmas.ML
changeset 10433 6c5659d461dd
parent 10231 178a272bceeb
child 10731 f44ab3108202
     1.1 --- a/src/HOL/HOL_lemmas.ML	Fri Nov 10 19:02:37 2000 +0100
     1.2 +++ b/src/HOL/HOL_lemmas.ML	Fri Nov 10 19:03:06 2000 +0100
     1.3 @@ -11,7 +11,6 @@
     1.4  val plusI = thm "plusI";
     1.5  val minusI = thm "minusI";
     1.6  val timesI = thm "timesI";
     1.7 -val powerI = thm "powerI";
     1.8  val eq_reflection = thm "eq_reflection";
     1.9  val refl = thm "refl";
    1.10  val subst = thm "subst";