NEWS
1997-11-07 ago added split_prem_tac
1997-11-06 ago subgoal_tac displays a warning if the new subgoal has type variables
1997-11-05 ago tuned;
1997-11-05 ago UNIV & UNION1
1997-11-04 ago tuned;
1997-11-04 ago *** empty log message ***
1997-11-04 ago tuned;
1997-11-03 ago isatool fixclasimp;
1997-11-03 ago *** empty log message ***
1997-10-30 ago *** empty log message ***
1997-10-24 ago tuned;
1997-10-24 ago HOL/Map
1997-10-21 ago improved handling of draft signatures / theories; draft thms (and
1997-10-21 ago typo
1997-10-20 ago tuned qualified names;
1997-10-18 ago addsplits
1997-10-16 ago tuned;
1997-10-15 ago slightly changed interfaces for oracles;
1997-10-14 ago browser info;
1997-10-14 ago rearranged and added TLA
1997-10-13 ago print_goals: optional output of const types (set show_consts);
1997-10-13 ago hierachically structured name spaces;
1997-10-09 ago no longer handles consts "" -- use syntax instead;
1997-09-29 ago tuned;
1997-09-29 ago Safe_tac; qed_spec_mp in FOL
1997-09-25 ago Clarify_tac; general reorganization
1997-09-22 ago Pure: fixed idt/idts vs. pttrn/pttrns syntactic categories;
1997-09-12 ago extended adm_tac;
1997-09-11 ago replaced print_goals_ref hook by print_current_goals_fn and
1997-09-04 ago set_of_list
1997-07-25 ago new simproc
1997-07-25 ago *** empty log message ***
1997-07-24 ago set_of_list -> set
1997-07-23 ago added simplification meta rules;
1997-07-23 ago Removal of tactical STATE
1997-07-18 ago defs may now be conditional;
1997-07-09 ago removed obsolete init_pps and init_thy_reader;
1997-06-20 ago removed;
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 ***