src/HOL/Power.ML
1998-07-15 paulson 1998-07-15 Removal of leading "\!\!..." from most Goal commands
1998-06-22 wenzelm 1998-06-22 isatool fixgoal;
1997-11-03 wenzelm 1997-11-03 isatool fixclasimp;
1997-06-23 paulson 1997-06-23 Ran expandshort
1997-06-04 wenzelm 1997-06-04 eliminated non-ASCII;
1997-06-03 paulson 1997-06-03 New theory "Power" of exponentiation (and binomial coefficients)