*** empty log message ***
authornipkow
Mon Sep 01 10:28:04 2008 +0200 (2008-09-01)
changeset 280674b6783d3f0d9
parent 28066 611e504c1191
child 28068 f6b2d1995171
*** empty log message ***
NEWS
     1.1 --- a/NEWS	Mon Sep 01 10:20:14 2008 +0200
     1.2 +++ b/NEWS	Mon Sep 01 10:28:04 2008 +0200
     1.3 @@ -135,6 +135,8 @@
     1.4  instantiations for algebraic structures.  Removed some duplicate
     1.5  theorems.  Changes in simp rules.  INCOMPATIBILITY.
     1.6  
     1.7 +* ATP selection (E/Vampire/Spass) is now via PG's settings menu.
     1.8 +
     1.9  
    1.10  *** HOL-Algebra ***
    1.11