src/HOL/Power.ML
1999-07-26 paulson 1999-07-26 new facts about binomials
1999-07-01 paulson 1999-07-01 now div and mod are overloaded; dvd is polymorphic
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)