NEWS
changeset 15776 e2f45df0696f
parent 15763 b901a127ac73
child 15778 98af3693f6b3
     1.1 --- a/NEWS	Tue Apr 19 18:08:55 2005 +0200
     1.2 +++ b/NEWS	Tue Apr 19 18:46:04 2005 +0200
     1.3 @@ -311,7 +311,11 @@
     1.4    otherwise we unfold the let and arrive at g. The simproc can be 
     1.5    enabled/disabled by the reference use_let_simproc. Potential
     1.6    INCOMPATIBILITY since simplification is more powerful by default.
     1.7 - 
     1.8 +
     1.9 +* HOL: The 'refute' command has been extended to support a much larger
    1.10 +  fragment of HOL, including axiomatic type classes, constdefs and typedefs,
    1.11 +  inductive datatypes and recursion.
    1.12 +
    1.13  
    1.14  *** HOLCF ***
    1.15