NEWS
1997-12-03 nipkow n ~= 0 should become 0 < n
1997-12-01 wenzelm nat_cancel simprocs;
1997-11-28 paulson addsplits now in FOL, ZF too
1997-11-21 wenzelm cd, use etc. now support path variables;
1997-11-12 oheimb renamed split_prem_tac to split_asm_tac
1997-11-07 oheimb added split_prem_tac
1997-11-06 paulson subgoal_tac displays a warning if the new subgoal has type variables
1997-11-05 wenzelm tuned;
1997-11-05 paulson UNIV & UNION1
1997-11-04 wenzelm tuned;
1997-11-04 oheimb *** empty log message ***
1997-11-04 wenzelm tuned;
1997-11-03 wenzelm isatool fixclasimp;
1997-11-03 nipkow *** empty log message ***
1997-10-30 nipkow *** empty log message ***
1997-10-24 wenzelm tuned;
1997-10-24 nipkow HOL/Map
1997-10-21 wenzelm improved handling of draft signatures / theories; draft thms (and
1997-10-21 nipkow typo
1997-10-20 wenzelm tuned qualified names;
1997-10-18 nipkow addsplits
1997-10-16 wenzelm tuned;
1997-10-15 wenzelm slightly changed interfaces for oracles;
1997-10-14 wenzelm browser info;
1997-10-14 paulson rearranged and added TLA
1997-10-13 wenzelm print_goals: optional output of const types (set show_consts);
1997-10-13 wenzelm hierachically structured name spaces;
1997-10-09 wenzelm no longer handles consts "" -- use syntax instead;
1997-09-29 wenzelm tuned;
1997-09-29 paulson Safe_tac; qed_spec_mp in FOL
1997-09-25 paulson Clarify_tac; general reorganization
1997-09-22 wenzelm Pure: fixed idt/idts vs. pttrn/pttrns syntactic categories;
1997-09-12 mueller extended adm_tac;
1997-09-11 wenzelm replaced print_goals_ref hook by print_current_goals_fn and
1997-09-04 paulson set_of_list
1997-07-25 nipkow new simproc
1997-07-25 wenzelm *** empty log message ***
1997-07-24 paulson set_of_list -> set
1997-07-23 wenzelm added simplification meta rules;
1997-07-23 paulson Removal of tactical STATE
1997-07-18 wenzelm defs may now be conditional;
1997-07-09 wenzelm removed obsolete init_pps and init_thy_reader;
1997-06-20 wenzelm removed;
1997-05-26 paulson Added recdef
1997-05-23 nipkow arbitrary
1997-05-23 oheimb adapted entry for addss, addSss
1997-05-23 nipkow news.
1997-05-20 wenzelm *** empty log message ***
1997-05-15 wenzelm *** empty log message ***
1997-05-06 wenzelm *** empty log message ***
1997-05-05 wenzelm tuned;
1997-04-24 nipkow induct_tac
1997-04-22 wenzelm tuned;
1997-04-21 paulson Reorganized under headings. Also documented Blast_tac and LFilter
1997-04-18 nipkow *** empty log message ***
1997-04-17 wenzelm *** empty log message ***
1997-04-09 oheimb replaced 'addwrapper' and 'addWrapper' by correct 'compwrapper' and 'compWrapper'
1997-04-02 paulson ZF.thy is again usable
1997-03-20 wenzelm *** empty log message ***
1997-03-07 wenzelm *** empty log message ***
1997-03-07 wenzelm *** empty log message ***
1997-03-07 paulson Tidied and updated
1997-03-05 wenzelm *** empty log message ***
1997-03-05 wenzelm *** empty log message ***
1997-03-05 wenzelm *** empty log message ***
1997-03-05 paulson HOL: renaming of "not"
1997-02-28 wenzelm *** empty log message ***
1997-02-17 wenzelm *** empty log message ***
1997-02-17 slotosch described changes for HOLCF-Version without rules and arities
1997-02-17 oheimb improved description of recent changes
1997-02-15 oheimb *** empty log message ***
1997-01-27 paulson More news items, dating back to 1995
1997-01-27 wenzelm *** empty log message ***
1997-01-24 wenzelm *** empty log message ***
1997-01-24 wenzelm *** empty log message ***
1997-01-24 wenzelm Isabelle NEWS -- history of user-visible changes;
less more (0) tip