NEWS
1997-05-26 ago Added recdef
1997-05-23 ago arbitrary
1997-05-23 ago adapted entry for addss, addSss
1997-05-23 ago news.
1997-05-20 ago *** empty log message ***
1997-05-15 ago *** empty log message ***
1997-05-06 ago *** empty log message ***
1997-05-05 ago tuned;
1997-04-24 ago induct_tac
1997-04-22 ago tuned;
1997-04-21 ago Reorganized under headings. Also documented Blast_tac and LFilter
1997-04-18 ago *** empty log message ***
1997-04-17 ago *** empty log message ***
1997-04-09 ago replaced 'addwrapper' and 'addWrapper' by correct 'compwrapper' and 'compWrapper'
1997-04-02 ago ZF.thy is again usable
1997-03-20 ago *** empty log message ***
1997-03-07 ago *** empty log message ***
1997-03-07 ago *** empty log message ***
1997-03-07 ago Tidied and updated
1997-03-05 ago *** empty log message ***
1997-03-05 ago *** empty log message ***
1997-03-05 ago *** empty log message ***
1997-03-05 ago HOL: renaming of "not"
1997-02-28 ago *** empty log message ***
1997-02-17 ago *** empty log message ***
1997-02-17 ago described changes for HOLCF-Version without rules and arities
1997-02-17 ago improved description of recent changes
1997-02-15 ago *** empty log message ***
1997-01-27 ago More news items, dating back to 1995
1997-01-27 ago *** empty log message ***
1997-01-24 ago *** empty log message ***
1997-01-24 ago *** empty log message ***
1997-01-24 ago Isabelle NEWS -- history of user-visible changes;