# HG changeset patch
# User webertj
# Date 1113929164 -7200
# Node ID e2f45df0696f7c4c68809ad69671f6851c0842f0
# Parent  d8dd2fffa69280113b47bfd52703a5fb3c9c312f
refute extended

diff -r d8dd2fffa692 -r e2f45df0696f NEWS
--- a/NEWS	Tue Apr 19 18:08:55 2005 +0200
+++ b/NEWS	Tue Apr 19 18:46:04 2005 +0200
@@ -311,7 +311,11 @@
   otherwise we unfold the let and arrive at g. The simproc can be 
   enabled/disabled by the reference use_let_simproc. Potential
   INCOMPATIBILITY since simplification is more powerful by default.
- 
+
+* HOL: The 'refute' command has been extended to support a much larger
+  fragment of HOL, including axiomatic type classes, constdefs and typedefs,
+  inductive datatypes and recursion.
+
 
 *** HOLCF ***