NEWS
1997-12-01 wenzelm 1997-12-01 nat_cancel simprocs;
1997-11-28 paulson 1997-11-28 addsplits now in FOL, ZF too
1997-11-21 wenzelm 1997-11-21 cd, use etc. now support path variables; changed Pure/Sequence interface;
1997-11-12 oheimb 1997-11-12 renamed split_prem_tac to split_asm_tac
1997-11-07 oheimb 1997-11-07 added split_prem_tac
1997-11-06 paulson 1997-11-06 subgoal_tac displays a warning if the new subgoal has type variables
1997-11-05 wenzelm 1997-11-05 tuned;
1997-11-05 paulson 1997-11-05 UNIV & UNION1
1997-11-04 wenzelm 1997-11-04 tuned;
1997-11-04 oheimb 1997-11-04 *** empty log message ***
1997-11-04 wenzelm 1997-11-04 tuned;
1997-11-03 wenzelm 1997-11-03 isatool fixclasimp;
1997-11-03 nipkow 1997-11-03 *** empty log message ***
1997-10-30 nipkow 1997-10-30 *** empty log message ***
1997-10-24 wenzelm 1997-10-24 tuned;
1997-10-24 nipkow 1997-10-24 HOL/Map
1997-10-21 wenzelm 1997-10-21 improved handling of draft signatures / theories; draft thms (and ctyps, cterms) are automatically promoted to real ones;
1997-10-21 nipkow 1997-10-21 typo
1997-10-20 wenzelm 1997-10-20 tuned qualified names;
1997-10-18 nipkow 1997-10-18 addsplits
1997-10-16 wenzelm 1997-10-16 tuned;
1997-10-15 wenzelm 1997-10-15 slightly changed interfaces for oracles;
1997-10-14 wenzelm 1997-10-14 browser info;
1997-10-14 paulson 1997-10-14 rearranged and added TLA
1997-10-13 wenzelm 1997-10-13 print_goals: optional output of const types (set show_consts);
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 ***