NEWS
1997-10-13 wenzelm 1997-10-13 hierachically structured name spaces;
1997-10-09 wenzelm 1997-10-09 no longer handles consts "" -- use syntax instead; pretty printer: changed order of mixfix annotation preference (again!);
1997-09-29 wenzelm 1997-09-29 tuned;
1997-09-29 paulson 1997-09-29 Safe_tac; qed_spec_mp in FOL
1997-09-25 paulson 1997-09-25 Clarify_tac; general reorganization
1997-09-22 wenzelm 1997-09-22 Pure: fixed idt/idts vs. pttrn/pttrns syntactic categories; HOLCF: fixed LAM <x,y,zs>.b syntax (may break some unusual cases);
1997-09-12 mueller 1997-09-12 extended adm_tac;
1997-09-11 wenzelm 1997-09-11 replaced print_goals_ref hook by print_current_goals_fn and result_error_fn;
1997-09-04 paulson 1997-09-04 set_of_list
1997-07-25 nipkow 1997-07-25 new simproc
1997-07-25 wenzelm 1997-07-25 *** empty log message ***
1997-07-24 paulson 1997-07-24 set_of_list -> set
1997-07-23 wenzelm 1997-07-23 added simplification meta rules;
1997-07-23 paulson 1997-07-23 Removal of tactical STATE
1997-07-18 wenzelm 1997-07-18 defs may now be conditional; improved output of warnings / errors;
1997-07-09 wenzelm 1997-07-09 removed obsolete init_pps and init_thy_reader;
1997-06-20 wenzelm 1997-06-20 removed;
1997-05-26 paulson 1997-05-26 Added recdef
1997-05-23 nipkow 1997-05-23 arbitrary
1997-05-23 oheimb 1997-05-23 adapted entry for addss, addSss
1997-05-23 nipkow 1997-05-23 news.
1997-05-20 wenzelm 1997-05-20 *** empty log message ***
1997-05-15 wenzelm 1997-05-15 *** empty log message ***
1997-05-06 wenzelm 1997-05-06 *** empty log message ***
1997-05-05 wenzelm 1997-05-05 tuned;
1997-04-24 nipkow 1997-04-24 induct_tac
1997-04-22 wenzelm 1997-04-22 tuned;
1997-04-21 paulson 1997-04-21 Reorganized under headings. Also documented Blast_tac and LFilter
1997-04-18 nipkow 1997-04-18 *** empty log message ***
1997-04-17 wenzelm 1997-04-17 *** empty log message ***
1997-04-09 oheimb 1997-04-09 replaced 'addwrapper' and 'addWrapper' by correct 'compwrapper' and 'compWrapper'
1997-04-02 paulson 1997-04-02 ZF.thy is again usable
1997-03-20 wenzelm 1997-03-20 *** empty log message ***
1997-03-07 wenzelm 1997-03-07 *** empty log message ***
1997-03-07 wenzelm 1997-03-07 *** empty log message ***
1997-03-07 paulson 1997-03-07 Tidied and updated
1997-03-05 wenzelm 1997-03-05 *** empty log message ***
1997-03-05 wenzelm 1997-03-05 *** empty log message ***
1997-03-05 wenzelm 1997-03-05 *** empty log message ***
1997-03-05 paulson 1997-03-05 HOL: renaming of "not"
1997-02-28 wenzelm 1997-02-28 *** empty log message ***
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;