| changeset 17595 | 3e3a30bf702f |
| parent 17590 | 56dc95e8b5c5 |
| child 17597 | dac8dd2272cd |
--- a/NEWS Fri Sep 23 10:01:14 2005 +0200 +++ b/NEWS Fri Sep 23 10:25:55 2005 +0200 @@ -442,6 +442,9 @@ * Classical reasoning: the meson method now accepts theorems as arguments. +* Prover support: pre-release of the Isabelle-ATP linkup, which runs background +jobs to provide advice on the provability of subgoals. + * Theory OrderedGroup and Ring_and_Field: various additions and improvements to faciliate calculations involving equalities and inequalities.