isabelle: Changelog

wenzelm [Thu, 30 Mar 2000 14:22:15 +0200] rev 8613

'tactic': refer to PureIsar structure;

wenzelm [Thu, 30 Mar 2000 14:21:28 +0200] rev 8612

?this: support params;

wenzelm [Thu, 30 Mar 2000 14:20:42 +0200] rev 8611

support polymorphic Vars;

wenzelm [Thu, 30 Mar 2000 14:20:13 +0200] rev 8610

tuned;

wenzelm [Thu, 30 Mar 2000 14:20:01 +0200] rev 8609

foldl_term_types: depend on term as well;

wenzelm [Thu, 30 Mar 2000 14:19:33 +0200] rev 8608

read_def_cterms: use Sign.read_def_terms;

wenzelm [Thu, 30 Mar 2000 14:19:13 +0200] rev 8607

read_def_terms (no certify yet);

wenzelm [Thu, 30 Mar 2000 14:18:40 +0200] rev 8606

export update_multi;

wenzelm [Thu, 30 Mar 2000 14:15:41 +0200] rev 8605

added tvars_intr_list;

nipkow [Wed, 29 Mar 2000 15:09:51 +0200] rev 8604

*** empty log message ***

isabelle