src/HOL/Power.thy
2000-05-09 wenzelm 2000-05-09 named "op ^" definitions;
1999-10-13 paulson 1999-10-13 choose just as an infix
1998-07-24 berghofe 1998-07-24 Adapted to new datatype package.
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)