src/HOL/Power.thy
1997-06-03 paulson 1997-06-03 New theory "Power" of exponentiation (and binomial coefficients)