1998-05-14 oheimb keyboard settings now done by loading Tools/8bit/xemacs/isa_xemacs.emacs
1998-05-14 oheimb added option_map_o_update
1998-05-13 wenzelm added welcome;
1998-05-13 wenzelm added :-- (dependent pair);
1998-05-13 wenzelm added transform_error, exception ERROR_MESSAGE;
1998-05-13 wenzelm added thms_closure: theory -> xstring -> tthm list option;
1998-05-13 wenzelm adapted to new Scan.fail_with / Scan.!!;
1998-05-13 wenzelm pure_nonterms;
1998-05-13 wenzelm added fail_with and adapted !!;
1998-05-13 wenzelm gen_attr: fixed order of evaluation;
1998-05-13 wenzelm tuned msg;
1998-05-13 wenzelm get_first: ('a -> 'b option) -> 'a list -> 'b option;
1998-05-13 wenzelm HOL/record: now includes concrete syntax for record terms;
1998-05-12 wenzelm added Goal, Goalw;
1998-05-12 wenzelm branching_level = 250;
1998-05-12 wenzelm fixed comment;
1998-05-12 nipkow Removed duplicate list_length_induct
1998-05-11 nipkow Reordered a few parameters.
1998-05-11 nipkow Lex
1998-05-10 wenzelm tuned comment;
1998-05-08 nipkow Reshuffeling, renaming and a few simple corollaries.
1998-05-08 wenzelm fixed translations;
1998-05-08 wenzelm proper thy files;
1998-05-08 wenzelm fixed update syntax;
1998-05-07 wenzelm improved source: state-based;
1998-05-07 wenzelm added scan_tvar;
1998-05-07 wenzelm added 'space';
1998-05-07 nipkow Got rid of NAe.delta
1998-05-06 paulson HOL/Update
1998-05-06 paulson Removed some traces of UNITY
1998-05-06 nipkow Changed [/] to [:=] and removed actual definition.
1998-05-05 paulson New syntax for function update; moved to main HOL directory
1998-05-05 wenzelm misc tuning;
1998-05-04 wenzelm 'more' selector;
1998-05-04 wenzelm added nth_update: 'a -> int * 'a list -> 'a list;
1998-05-04 wenzelm tuned msg;
1998-05-04 wenzelm fixed constdefs syntax;
1998-05-04 wenzelm concrete syntax for record terms;
1998-05-04 nipkow New behaviour of asm_full_simp_tac.
1998-05-02 wenzelm added CLASIMPSET(') tacticals;
1998-05-02 wenzelm added trfun_names;
1998-05-02 wenzelm added accesses: string -> string list;
1998-05-01 oheimb minor corrections
1998-05-01 oheimb Auto_tac: now uses enhanced version of asm_full_simp_tac,
1998-05-01 oheimb added finite_dom_map_of and ran_update
1998-05-01 oheimb added insert_Collect
1998-05-01 oheimb corrected and updated description of wrapper mechanism (including addss)
1998-05-01 nipkow *** empty log message ***
1998-05-01 paulson "let" is no longer restricted to FOL terms and allows any logical terms
1998-05-01 paulson Let.ML and Let.thy had been omitted
1998-04-30 wenzelm fixed simpset(), claset();
1998-04-29 wenzelm moved records data to Tools/record_package.ML;
1998-04-29 wenzelm nontermials;
1998-04-29 wenzelm Theory.require;
1998-04-29 wenzelm TypedefPackage.add_typedef;
1998-04-29 wenzelm Theory.require;
1998-04-29 wenzelm Logic.mk_defpair;
1998-04-29 wenzelm Extensible records with structural subtyping in HOL. See
1998-04-29 wenzelm new theory section 'setup';
1998-04-29 wenzelm nonterminals;
(0) -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip