expand_option_case -> split_option_case

*** empty log message ***

expand_list_case -> split_list_case

Indexed split_t_case.

Documented `split_t_case' thm genearted by datatype.

Fixed comments

New treatment of overloading\!

New syntax function for types

Faster lexing

New way of referring to Basis Library

mended type constraint\!

Set.thy was too specific

New Blast_tac (and minor tidying...)

Auto update

propagate exn msg;

dup sections: warning instead of error;

Session, Context;

tuned;

added mixfix_args;

*** empty log message ***

added str_of_sg: sg -> string; improved error handling of data access;

added mixfix_args;

tuned thy_data;

tuned init_data;

added thy_data;

added merge_opts: ('a * 'a -> 'a) -> 'a option * 'a option -> 'a option;

Modified trace output routines of simplifier.

domain package: * minor changes to some names and values (for consistency), e.g. cases -> casedist, dists_eq -> dist_eqs, [take_lemma] -> take_lemmas