NEWS
1997-02-17 wenzelm 1997-02-17 *** empty log message ***
1997-02-17 slotosch 1997-02-17 described changes for HOLCF-Version without rules and arities
1997-02-17 oheimb 1997-02-17 improved description of recent changes
1997-02-15 oheimb 1997-02-15 *** empty log message ***
1997-01-27 paulson 1997-01-27 More news items, dating back to 1995
1997-01-27 wenzelm 1997-01-27 *** empty log message ***
1997-01-24 wenzelm 1997-01-24 *** empty log message ***
1997-01-24 wenzelm 1997-01-24 *** empty log message ***
1997-01-24 wenzelm 1997-01-24 Isabelle NEWS -- history of user-visible changes;