* Pure/show_hyps reset by default (in accordance to existing Isar practice);

--- a/NEWS	Mon Jan 21 17:02:52 2002 +0100
+++ b/NEWS	Mon Jan 21 17:03:38 2002 +0100
@@ -332,6 +332,9 @@
 translation functions; potential INCOMPATIBILITY: need to reverse
 multiple declarations for same syntax element constant;
 
+* Pure/show_hyps reset by default (in accordance to existing Isar
+practice);
+
 * Provers/classical: renamed addaltern to addafter, addSaltern to
 addSafter;