src/HOL/Power.thy
1998-02-12 wenzelm 1998-02-12 *** empty log message ***
1997-06-03 paulson 1997-06-03 New theory "Power" of exponentiation (and binomial coefficients)