summary |
shortlog |
changelog |
graph |
tags |
bookmarks |
branches |
files |
changeset |
file |
latest |
revisions |
annotate |
diff |
comparison |
raw |
help

NEWS

changeset 30439 | 57c68b3af2ea |

parent 30415 | 9501af91c4a3 |

child 30461 | 00323c45ea83 |

--- a/NEWS Wed Mar 11 08:45:57 2009 +0100 +++ b/NEWS Wed Mar 11 10:58:18 2009 +0100 @@ -244,7 +244,8 @@ * Theory HOL/Decisioin_Procs/Approximation.thy provides the new proof method "approximation". It proves formulas on real values by using interval arithmetic. In the formulas are also the transcendental functions sin, cos, tan, atan, ln, -exp and the constant pi are allowed. For examples see HOL/ex/ApproximationEx.thy. +exp and the constant pi are allowed. For examples see +HOL/Descision_Procs/ex/Approximation_Ex.thy. * Theory "Reflection" now resides in HOL/Library.